Sign in

Improving Search Space Splitting for Parallel SAT Solving.

Ruben MartinsVasco M. ManquinhoInê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