Generating Extended Resolution Proofs with a BDD-Based SAT Solver.

Randal E. Bryant Marijn J. H. Heule

Published in: TACAS (1) (2021)

Keyphrases

sat solvers
clause learning
clause learning sat solvers
orders of magnitude
sat solving
search strategies
constraint solver
propositional satisfiability
boolean satisfiability
constraint satisfaction
sat problem
max sat
search space
sat instances
search tree
theorem prover
np complete
special case