Space bounds for resolution (Q1854472): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.2001.2921
+Normal rank
@@ Property / OpenAlex ID @@
+W2071347463
@@ Property / OpenAlex ID: W2071347463 / rank @@
+Normal rank
@@ 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