The following pages link to Parameterized proof complexity (Q451111):
Displayed 4 items.
- Relativization makes contradictions harder for resolution (Q386151) (← links)
- Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems (Q1947040) (← links)
- Parameterized Bounded-Depth Frege Is Not Optimal (Q3012838) (← links)
- Parameterized Complexity of DPLL Search Procedures (Q5892559) (← links)