Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: R. E. Bryant and M. J. H. Heule, "Generating Extended Resolution Proofs in a BDD-based SAT Solver," TACAS 2021
Home Page:https://www.cs.cmu.edu/~mheule/publications/tacas21-BDD.pdf
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool