Resolution Meets Cutting Planes: Introducing Hypercube Linear Resolution.

Maarten Flippo, Peter J. Stuckey, Emir Demirovic

Browse the full CPAIOR paper archive.