Relativization makes contradictions harder for resolution (Q386151): 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 @@
+W40
@@ Property / Mathematics Subject Classification ID: 68W40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6238565
@@ Property / zbMATH DE Number: 6238565 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof complexity
@@ Property / zbMATH Keywords: proof complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lower bounds
@@ Property / zbMATH Keywords: lower bounds / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+resolution-with-bounded-conjunction
@@ Property / zbMATH Keywords: resolution-with-bounded-conjunction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parameterized proof complexity
@@ Property / zbMATH Keywords: parameterized proof complexity / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2089789793
@@ Property / OpenAlex ID: W2089789793 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4287
@@ Property / arXiv ID: 1304.4287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411848
@@ Property / cites work: Q4411848 / rank @@
+Normal rank
@@ Property / cites work @@
+LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE
+Normal rank
@@ Property / cites work @@
+A lower bound for the pigeonhole principle in tree-like resolution by asymmetric prover-delayer games
+Normal rank
@@ Property / cites work @@
+Parameterized Complexity of DPLL Search Procedures
+Normal rank
@@ Property / cites work @@
+A characterization of tree-like resolution size
@@ Property / cites work: A characterization of tree-like resolution size / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Bounded-Depth Frege Is not Optimal
@@ Property / cites work: Parameterized Bounded-Depth Frege Is not Optimal / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Relativisation Provides Natural Separations for Resolution-Based Proof Systems
+Normal rank
@@ Property / cites work @@
+Parameterized Resolution with Bounded Conjunction
@@ Property / cites work: Parameterized Resolution with Bounded Conjunction / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized proof complexity
@@ Property / cites work: Parameterized proof complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503944
@@ Property / cites work: Q4503944 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics of first order structures and propositional proof systems
+Normal rank
@@ Property / cites work @@
+Q4856179
@@ Property / cites work: Q4856179 / 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
@@ Property / cites work @@
+Generating hard tautologies using predicate logic and the symmetric group
+Normal rank
@@ Property / cites work @@
+A Switching Lemma for Small Restrictions and Lower Bounds for <i>k</i>-DNF Resolution
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:386151