Semantic Versus Syntactic Cutting Planes.

Yuval Filmus, Pavel Hrubes, Massimo Lauria

Browse the full STACS paper archive.