From Small Space to Small Width in Resolution (Q5277893): 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 @@
+Time-space tradeoffs in resolution
@@ Property / cites work: Time-space tradeoffs in resolution / rank @@
+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 @@
+Pseudo-partitions, transversality and locality
@@ Property / cites work: Pseudo-partitions, transversality and locality / 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 @@
+Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+On the weak pigeonhole principle
@@ Property / cites work: On the weak pigeonhole principle / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified way of proving trade-off results for resolution
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank