scientific article
From MaRDI portal
Publication:3549627
zbMath1232.03051MaRDI QIDQ3549627
Publication date: 5 January 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
rankpropositional tautologiesLovász-Schrijver proof systemcomplexity gaplift-and-project methodSherali-Adams proof system
Related Items (7)
The limits of tractability in resolution-based propositional proof systems ⋮ Circular (Yet Sound) Proofs in Propositional Logic ⋮ Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems ⋮ Cutting Planes and the Parameter Cutwidth ⋮ Cutting planes and the parameter cutwidth ⋮ Tight rank lower bounds for the Sherali-Adams proof system ⋮ On the Chvátal rank of the pigeonhole principle
This page was built for publication: