Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.

Marijn Heule Oliver Kullmann Siert Wieringa Armin Biere

Published in: Haifa Verification Conference (2011)

Keyphrases

sat solvers
orders of magnitude
search space
max sat
propositional satisfiability
sat solving
boolean satisfiability
search strategies
search tree
sat problem
constraint satisfaction
sat instances
sat encodings
answer sets
clause learning
boolean formula
search strategy
upper bound
dynamic programming