A Unified Framework for Certificate and Compilation for QBF (Q3601811): Difference between revisions

@@ Property / cites work @@
+Q4427904
@@ Property / cites work: Q4427904 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3620436
@@ Property / cites work: Q3620436 / 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 @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean functions as models for quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+Q3429018
@@ Property / cites work: Q3429018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+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 @@
+Using SAT in QBF
@@ Property / cites work: Using SAT in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+A First Step Towards a Unified Proof Checker for QBF
+Normal rank
@@ Property / cites work @@
+Nenofex: Expanding NNF for QBF Solving
@@ Property / cites work: Nenofex: Expanding NNF for QBF Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+A satisfiability procedure for quantified Boolean formulae
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank