Sums of squares based approximation algorithms for MAX-SAT.

Hans van Maaren Linda van Norden M. J. H. Heule Sums of squares based approximation algorithms for MAX-SAT. 1754-1779 2008 156 Discrete Applied Mathematics 10 http://dx.doi.org/10.1016/j.dam.2007.08.036 db/journals/dam/dam156.html#MaarenNH08