Improving Search Space Splitting for Parallel SAT Solving.

Ruben Martins Vasco M. Manquinho Inês Lynce

Published in: ICTAI (1) (2010)

Keyphrases

improving search
sat solving
web search
query expansion
search space
sat solvers
vector space
upper bound
sat problem