Cube Subtraction in SAT Solvers.

Romanelli Lodron Zuim José T. Souza Claudionor José Nunes Coelho Jr.

Published in: LATW (2006)

Keyphrases

special case
sat solvers
orders of magnitude
constraint satisfaction
sat solving
search space
search tree
propositional satisfiability
sat instances
search strategies
sat problem
boolean satisfiability
max sat
clause learning sat solvers
clause learning
constraint programming
boolean formula
satisfiability problem