A game characterisation of tree-like Q-resolution size (Q2424676): Difference between revisions

@@ Property / cites work @@
+A combinatorial characterization of resolution width
+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 @@
+Q5715680
@@ Property / cites work: Q5715680 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for bounded depth Frege proofs via Pudlák-Buss games
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+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 @@
+Are Short Proofs Narrow? QBF Resolution is not Simple.
+Normal rank
@@ Property / cites work @@
+A Game Characterisation of Tree-like Q-resolution Size
+Normal rank
@@ Property / cites work @@
+A lower bound for the pigeonhole principle in tree-like resolution by asymmetric prover-delayer games
+Normal rank
@@ Property / cites work @@
+A characterization of tree-like resolution size
@@ Property / cites work: A characterization of tree-like resolution size / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Complexity of DPLL Search Procedures
+Normal rank
@@ Property / cites work @@
+Unified Characterisations of Resolution Hardness Measures
+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 @@
+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 @@
+On Sequent Systems and Resolution for QBFs
@@ Property / cites work: On Sequent Systems and Resolution for QBFs / rank @@
+Normal rank
@@ Property / cites work @@
+Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
+Normal rank
@@ Property / cites work @@
+A combinatorial characterization of treelike resolution space
+Normal rank
@@ Property / cites work @@
+On Q-Resolution and CDCL QBF Solving
@@ Property / cites work: On Q-Resolution and CDCL QBF Solving / 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 @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Conflict-Driven XOR-Clause Learning
@@ Property / cites work: Conflict-Driven XOR-Clause Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
+Normal rank
@@ Property / cites work @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+Normal rank
@@ Property / cites work @@
+Proofs as Games
@@ Property / cites work: Proofs as Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474836
@@ Property / cites work: Q4474836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4952609
@@ Property / cites work: Q4952609 / 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 @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank
@@ Property / cites work @@
+Q4809068
@@ Property / cites work: Q4809068 / rank @@
+Normal rank