Parameterized proof complexity (Q451111): Difference between revisions

@@ Property / author @@
-Q386150
@@ Property / author: Q386150 / rank @@
-Normal rank
@@ Property / author @@
+Stefan S. Dantchev
@@ Property / author: Stefan S. Dantchev / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6085140
@@ Property / zbMATH DE Number: 6085140 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+propositional proof complexity
@@ Property / zbMATH Keywords: propositional proof complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parameterized complexity
@@ Property / zbMATH Keywords: parameterized complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity gap theorems
@@ Property / zbMATH Keywords: complexity gap theorems / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2112145019
@@ Property / OpenAlex ID: W2112145019 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218929
@@ Property / cites work: Q4218929 / rank @@
+Normal rank
@@ Property / cites work @@
+The Turing way to parameterized complexity
@@ Property / cites work: The Turing way to parameterized complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Parameterized Upper Bounds for Vertex Cover
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Q4503944
@@ Property / cites work: Q4503944 / rank @@
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5710169
@@ Property / cites work: Q5710169 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs as Games
@@ Property / cites work: Proofs as Games / rank @@
+Normal rank
@@ Property / cites work @@
+A complexity gap for tree resolution
@@ Property / cites work: A complexity gap for tree resolution / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:451111