Login / Signup
A new hybrid solution to boost SAT solver performance.
Lei Fang
Michael S. Hsiao
Published in:
DATE (2007)
Keyphrases
</>
sat solvers
sat solving
constraint solver
optimal solution
data structure
constraint satisfaction
search strategies
sat problem
sat instances
boolean satisfiability