Supercritical Space-Width Trade-offs for Resolution (Q5215515): Difference between revisions

@@ Property / cites work @@
+Space Complexity in Propositional Calculus
@@ Property / cites work: Space Complexity in Propositional Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial characterization of resolution width
+Normal rank
@@ Property / cites work @@
+Narrow Proofs May Be Maximally Long
@@ Property / cites work: Narrow Proofs May Be Maximally Long / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Space Trade-offs in Resolution: Superpolynomial Lower Bounds for Superlinear Space
+Normal rank
@@ Property / cites work @@
+The Efficiency of Resolution and Davis--Putnam Procedures
+Normal rank
@@ Property / cites work @@
+Some trade-off results for polynomial calculus
@@ Property / cites work: Some trade-off results for polynomial calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Size-Space Tradeoffs for Resolution
@@ Property / cites work: Size-Space Tradeoffs for Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Space complexity of random formulae in resolution
@@ Property / cites work: Space complexity of random formulae in resolution / rank @@
+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 @@
+Space proof complexity for random 3-CNFs
@@ Property / cites work: Space proof complexity for random 3-CNFs / rank @@
+Normal rank
@@ Property / cites work @@
+Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps
+Normal rank
@@ Property / cites work @@
+Q5769706
@@ Property / cites work: Q5769706 / rank @@
+Normal rank
@@ Property / cites work @@
+Total Space in Resolution Is at Least Width Squared
+Normal rank
@@ Property / cites work @@
+Total Space in Resolution
@@ Property / cites work: Total Space in Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228469
@@ Property / cites work: Q4228469 / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+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 @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Space bounds for resolution
@@ Property / cites work: Space bounds for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Narrow Proofs May Be Spacious:Separating Space and Width in Resolution
+Normal rank
@@ Property / cites work @@
+Pebble Games, Proof Complexity, and Time-Space Trade-offs
+Normal rank
@@ Property / cites work @@
+Q3191584
@@ Property / cites work: Q3191584 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Kind of Tradeoffs in Propositional Proof Complexity
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q2816413
@@ Property / cites work: Q2816413 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank