Accelerating SAT Solving by Common Subclause Elimination.

Yaowei Yan Chris E. Gutierrez Jeriah Jn-Charles Forrest Sheng Bao Yuanlin Zhang

Published in: AAAI (2015)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
search space
special case
np complete
symmetry breaking