Publisher
Springer International Publishing
Reference36 articles.
1. Lecture Notes in Computer Science;G. Audemard,2013
2. Balabanov, V., Jiang, J.R.: Unified QBF certification and its applications. Formal Methods in System Design 41(1), 45–65 (2012)
3. Lecture Notes in Computer Science;B. Becker,2012
4. Benedetti, M., Mangassarian, H.: QBF-Based Formal Verification: Experience and Perspectives. JSAT 5, 133–191 (2008)
5. Biere, A.: PicoSAT Essentials. JSAT 4(2-4), 75–97 (2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computing Smallest MUSes of Quantified Boolean Formulas;Logic Programming and Nonmonotonic Reasoning;2022
2. Four Flavors of Entailment;Theory and Applications of Satisfiability Testing – SAT 2020;2020
3. Parallel Solving of Quantified Boolean Formulas;Handbook of Parallel Constraint Reasoning;2018
4. DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL;Automated Deduction – CADE 26;2017
5. Exact diagnosis using boolean satisfiability;Proceedings of the 35th International Conference on Computer-Aided Design;2016-11-07