Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generating Extended Resolution Proofs with a BDD-Based SAT Solver;ACM Transactions on Computational Logic;2023-07-25
2. Chapter 7. Proof Complexity and SAT Solving;Frontiers in Artificial Intelligence and Applications;2021-02-02
3. Chapter 1. A History of Satisfiability;Frontiers in Artificial Intelligence and Applications;2021-02-02
4. Generating Extended Resolution Proofs with a BDD-Based SAT Solver;Tools and Algorithms for the Construction and Analysis of Systems;2021
5. ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES;The Journal of Symbolic Logic;2020-06