Proof complexity of symbolic QBF reasoning (Q2118330): Difference between revisions

@@ Property / describes a project that uses @@
+Quaffle
@@ Property / describes a project that uses: Quaffle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DepQBF
@@ Property / describes a project that uses: DepQBF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QESTO
@@ Property / describes a project that uses: QESTO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAReQS
@@ Property / describes a project that uses: RAReQS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAQE
@@ Property / describes a project that uses: CAQE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3184676641
@@ Property / OpenAlex ID: W3184676641 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Unified QBF certification and its applications
@@ Property / cites work: Unified QBF certification and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+QBF Resolution Systems and Their Proof Complexities
+Normal rank
@@ Property / cites work @@
+Lower bound techniques for QBF expansion
@@ Property / cites work: Lower bound techniques for QBF expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4625702
@@ Property / cites work: Q4625702 / rank @@
+Normal rank
@@ Property / cites work @@
+Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
+Normal rank
@@ Property / cites work @@
+Frege Systems for Quantified Boolean Logic
@@ Property / cites work: Frege Systems for Quantified Boolean Logic / rank @@
+Normal rank
@@ Property / cites work @@
+New Resolution-Based QBF Calculi and Their Proof Complexity
+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 @@
+Q5121904
@@ Property / cites work: Q5121904 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4988300
@@ Property / cites work: Q4988300 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Q5111890
@@ Property / cites work: Q5111890 / rank @@
+Normal rank
@@ Property / cites work @@
+Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
+Normal rank
@@ Property / cites work @@
+Treewidth in Verification: Local vs. Global
@@ Property / cites work: Treewidth in Verification: Local vs. Global / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank
@@ Property / cites work @@
+Expander graphs and their applications
@@ Property / cites work: Expander graphs and their applications / rank @@
+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 @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Communication Complexity
@@ Property / cites work: Communication Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Dependency Learning for QBF
@@ Property / cites work: Dependency Learning for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+A self-adaptive multi-engine solver for quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Non-prenex QBF Solving Using Abstraction
@@ Property / cites work: Non-prenex QBF Solving Using Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank