Q5136303 (Q5136303): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+QBF Resolution Systems and Their Proof Complexities
+Normal rank
@@ Property / cites work @@
+An exponential separation between the parity principle and the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q3620436
@@ Property / cites work: Q3620436 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds
@@ Property / cites work: Lower Bounds / 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 @@
+Q2954985
@@ Property / cites work: Q2954985 / rank @@
+Normal rank
@@ Property / cites work @@
+Feasible Interpolation for QBF Resolution Calculi
@@ Property / cites work: Feasible Interpolation for QBF Resolution Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636589
@@ Property / cites work: Q4636589 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Gentzen and Frege Systems for QBF
@@ Property / cites work: Understanding Gentzen and Frege Systems for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
+Normal rank
@@ Property / cites work @@
+Towards NP-P via proof complexity and search
@@ Property / cites work: Towards NP-P via proof complexity and search / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness
+Normal rank
@@ Property / cites work @@
+Q5306365
@@ Property / cites work: Q5306365 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Conformant planning as a case study of incremental QBF solving
+Normal rank
@@ Property / cites work @@
+Parity, circuits, and the polynomial-time hierarchy
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / 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 @@
+Expansion-based QBF solving versus Q-resolution
@@ Property / cites work: Expansion-based QBF solving versus Q-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Dual weak pigeonhole principle, Boolean complexity, and derandomization
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q-Resolution with Generalized Axioms
@@ Property / cites work: Q-Resolution with Generalized Axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Long Distance Q-Resolution with Dependency Schemes
+Normal rank
@@ Property / cites work @@
+Exponential lower bounds for the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Using SAT in QBF
@@ Property / cites work: Using SAT in QBF / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of \(\mathcal{Q}\)-resolution with dependency schemes
+Normal rank