Login / Signup
Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques.
Jingchao Chen
Published in:
SAT (2009)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
constraint satisfaction
boolean satisfiability
search strategies
sat problem
sat instances
propositional satisfiability
max sat
search space
reasoning tasks
constraint solver
automated reasoning
search tree
symmetry breaking
sat encodings
boolean formula
relevance feedback