The Power of Semidefinite Programming Relaxations for MAX-SAT.

Carla P. Gomes, Willem Jan van Hoeve, Lucian Leahu

Browse the full CPAIOR paper archive.