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

Randal E. Bryant Marijn J. H. Heule

Published in: CoRR (2021)

Keyphrases

sat solvers
clause learning
clause learning sat solvers
sat solving
orders of magnitude
sat problem
constraint satisfaction
constraint solver
boolean satisfiability
search space
search tree
max sat
search strategies
sat instances
propositional satisfiability
theorem proving
satisfiability problem
search algorithm