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

Randal E. Bryant Marijn J. H. Heule

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

sat solvers
clause learning
clause learning sat solvers
sat solving
orders of magnitude
sat problem
constraint satisfaction
sat instances
propositional satisfiability
search space
constraint solver
search strategies
boolean satisfiability
max sat
boolean formula
information retrieval
search tree
genetic algorithm