A simplified way of proving trade-off results for resolution (Q989569): 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 @@
+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 @@
+Optimality of size-width tradeoffs for resolution
@@ Property / cites work: Optimality of size-width tradeoffs for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Space bounds for resolution
@@ Property / cites work: Space bounds for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Narrow Proofs May Be Spacious:Separating Space and Width in Resolution
+Normal rank
@@ Property / cites work @@
+Q5302095
@@ Property / cites work: Q5302095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / rank @@
+Normal rank
@@ Property / cites work @@
+Short resolution proofs for a sequence of tricky formulas
+Normal rank
@@ Property / cites work @@
+Q4945238
@@ Property / cites work: Q4945238 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank