A solver for QBFs in negation normal form (Q1020501): Difference between revisions

@@ Property / describes a project that uses @@
+sKizzo
@@ Property / describes a project that uses: sKizzo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUBOS
@@ Property / describes a project that uses: QUBOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KoMeT
@@ Property / describes a project that uses: KoMeT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+semprop
@@ Property / describes a project that uses: semprop / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10601-008-9055-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2161955489
@@ Property / OpenAlex ID: W2161955489 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Preferential Paraconsistent Reasoning to Classical Entailment
+Normal rank
@@ Property / cites work @@
+Q4427904
@@ Property / cites work: Q4427904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4304753
@@ Property / cites work: Q4304753 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Inconsistency Tolerance
@@ Property / cites work: Inconsistency Tolerance / 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 @@
+An optimality result for clause form translation
@@ Property / cites work: An optimality result for clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997615
@@ Property / cites work: Q3997615 / rank @@
+Normal rank
@@ Property / cites work @@
+On different structure-preserving translations to normal form
+Normal rank
@@ Property / cites work @@
+Q4263791
@@ Property / cites work: Q4263791 / 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 @@
+The complexity of nested counterfactuals and iterated knowledge base revisions
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+Counterfactuals
@@ Property / cites work: Counterfactuals / rank @@
+Normal rank
@@ Property / cites work @@
+Backjumping for quantified Boolean logic satisfiability
+Normal rank
@@ Property / cites work @@
+Q5813181
@@ Property / cites work: Q5813181 / 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 @@
+Q4412858
@@ Property / cites work: Q4412858 / 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 @@
+Q3429159
@@ Property / cites work: Q3429159 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249904
@@ Property / cites work: Q4249904 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency
+Normal rank
@@ Property / cites work @@
+Binary Clause Reasoning in QBF
@@ Property / cites work: Binary Clause Reasoning in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank