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. Discrete Applied Mathematics, 156(10):1754-1779, 2008. [doi]

Abstract

Abstract is missing.