C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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