Login / Signup
Making Deduction More Effective in SAT Solvers.
HyoJung Han
Fabio Somenzi
HoonSang Jin
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)
Keyphrases
</>
sat solvers
orders of magnitude
sat instances
sat solving
search strategies
propositional satisfiability
boolean satisfiability
search algorithm
search space
special case
theorem proving
max sat