Space bounds for resolution (Q1854472): Difference between revisions

@@ Property / cites work @@
+Minimal non-two-colorable hypergraphs and minimal unsatisfiable formulas
+Normal rank
@@ Property / cites work @@
+Space complexity in propositional calculus
@@ Property / cites work: Space complexity in propositional calculus / 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 @@
+Q4218929
@@ Property / cites work: Q4218929 / 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 @@
+Q4251071
@@ Property / cites work: Q4251071 / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315881
@@ Property / cites work: Q4315881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4071451
@@ Property / cites work: Q4071451 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+Normal rank
@@ Property / cites work @@
+Q4527043
@@ Property / cites work: Q4527043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344138
@@ Property / cites work: Q4344138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699289
@@ Property / cites work: Q4699289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945238
@@ Property / cites work: Q4945238 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4179039
@@ Property / cites work: Q4179039 / rank @@
+Normal rank