Mutilated chessboard problem is exponentially hard for resolution (Q1884991): Difference between revisions

@@ Property / Wikidata QID @@
+Q57532686
@@ Property / Wikidata QID: Q57532686 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / 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 @@
+Many hard examples for resolution
@@ Property / cites work: Many hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs for tricky formulas
@@ Property / cites work: Short proofs for tricky formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Regular resolution lower bounds for the weak pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Resolution lower bounds for the weak pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Resolution proofs of matching principles
@@ Property / cites work: Resolution proofs of matching principles / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/Alekhnovich04
@@ Property / DBLP publication ID: journals/tcs/Alekhnovich04 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1884991