The following pages link to Parameterized proof complexity (Q451111):
Displaying 15 items.
- Relativization makes contradictions harder for resolution (Q386151) (← links)
- A lower bound for the pigeonhole principle in tree-like resolution by asymmetric prover-delayer games (Q1675824) (← links)
- Parameterized provability in equational logic (Q1694478) (← links)
- The complexity of proving that a graph is Ramsey (Q1705815) (← links)
- The Turing way to parameterized complexity (Q1877697) (← links)
- Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems (Q1947040) (← links)
- Strong intractability results for generalized convex recoloring problems (Q2184691) (← links)
- Strong intractability of generalized convex recoloring problems (Q2413156) (← links)
- A Parameterized Halting Problem (Q2908544) (← links)
- The power of parameterization in coinductive proof (Q2931796) (← links)
- Parameterized Bounded-Depth Frege Is Not Optimal (Q3012838) (← links)
- Parameterized Complexity Classes under Logical Reductions (Q3182930) (← links)
- Proof-Relevant Parametricity (Q3188282) (← links)
- (Q5694881) (← links)
- Parameterized Complexity of DPLL Search Procedures (Q5892559) (← links)