Dual proof generation for quantified Boolean formulas with a BDD-based solver (Q2055876): Difference between revisions

@@ Property / cites work @@
+Q2703803
@@ Property / cites work: Q2703803 / rank @@
+Normal rank
@@ Property / cites work @@
+On Unification of QBF Resolution-Based Calculi
@@ Property / cites work: On Unification of QBF Resolution-Based Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination for QBF
@@ Property / cites work: Blocked Clause Elimination for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Generating extended resolution proofs with a BDD-based SAT solver
+Normal rank
@@ Property / cites work @@
+Bucket elimination: A unifying framework for reasoning
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624018
@@ Property / cites work: Q3624018 / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Proof System for QBF Preprocessing
@@ Property / cites work: A Unified Proof System for QBF Preprocessing / rank @@
+Normal rank
@@ Property / cites work @@
+Solution validation and extraction for QBF preprocessing
+Normal rank
@@ Property / cites work @@
+Solving QBF with counterexample guided refinement
@@ Property / cites work: Solving QBF with counterexample guided refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Resolution Proofs for Symbolic SAT Solving with Quantification
+Normal rank
@@ Property / cites work @@
+A First Step Towards a Unified Proof Checker for QBF
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+GhostQ
@@ Property / cites work: GhostQ / rank @@
+Normal rank
@@ Property / cites work @@
+DepQBF 6.0: a search-based QBF solver beyond traditional QCDCL
+Normal rank
@@ Property / cites work @@
+Evaluating and certifying QBFs: A comparison of state-of-the-art tools
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Polynomial-time validation of QCDCL certificates
@@ Property / cites work: Polynomial-time validation of QCDCL certificates / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Resolution Proofs for Conjoining BDDs
@@ Property / cites work: Extended Resolution Proofs for Conjoining BDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3682462
@@ Property / cites work: Q3682462 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-79876-5_25
+Normal rank
@@ Property / OpenAlex ID @@
+W3178381410
@@ Property / OpenAlex ID: W3178381410 / rank @@
+Normal rank