Carla P. Gomes Willem Jan van Hoeve Lucian Leahu The Power of Semidefinite Programming Relaxations for MAX-SAT. 104-118 2006 conf/cpaior/2006 CPAIOR http://dx.doi.org/10.1007/11757375_10 db/conf/cpaior/cpaior2006.html#GomesHL06