The following pages link to (Q3549627):
Displaying 6 items.
- The limits of tractability in resolution-based propositional proof systems (Q408157) (← links)
- Cutting planes and the parameter cutwidth (Q693047) (← links)
- Tight rank lower bounds for the Sherali-Adams proof system (Q1019183) (← links)
- On the Chvátal rank of the pigeonhole principle (Q1029351) (← links)
- Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems (Q1947040) (← links)
- Cutting Planes and the Parameter Cutwidth (Q3576046) (← links)
