Local lemma: a new strategy of pruning in SAT solvers.

Xiangxue Jia Runming Lu Sheng Liu Jian Zhang

Published in: SAC (2010)

Keyphrases

sat solvers
search space
search strategies
search strategy
max sat
sat solving
propositional satisfiability
orders of magnitude
search tree
sat problem
constraint satisfaction
sat instances
weighted max sat
clause learning sat solvers
phase transition
branch and bound
boolean satisfiability