A Folding Strategy for SAT solvers based on Shannon's expansion theorem.

Siwat Saibua Po-Yu Kuo Dian Zhou Ming-e Jing

Published in: SoCC (2010)

Keyphrases

sat solvers
search strategies
constraint satisfaction
max sat
orders of magnitude
sat solving
sat instances
boolean satisfiability
search tree
sat problem
weighted max sat
propositional satisfiability
search space
search strategy
clause learning sat solvers
clause learning
retrieval effectiveness
tabu search