Exponential lower bounds for the tree-like Hajós calculus (Q673010): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Some simplified NP-complete graph problems
@@ Property / cites work: Some simplified NP-complete graph problems / rank @@
+Normal rank
@@ Property / cites work @@
+Some Colouring Problems and their Complexity
@@ Property / cites work: Some Colouring Problems and their Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010371
@@ Property / cites work: Q4010371 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(95)00035-b
+Normal rank
@@ Property / OpenAlex ID @@
+W1987569957
@@ Property / OpenAlex ID: W1987569957 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:673010