Login / Signup
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.
Malay K. Ganai
Pranav Ashar
Aarti Gupta
Lintao Zhang
Sharad Malik
Published in:
DAC (2002)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
propositional satisfiability
sat instances
search algorithm
constraint satisfaction
search strategies
sat problem
clause learning
learning algorithm
np hard
optimization problems
branch and bound algorithm
satisfiability problem
constraint solver