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]
@article{MaarenNH08,
title = {Sums of squares based approximation algorithms for MAX-SAT},
author = {Hans van Maaren and Linda van Norden and M. J. H. Heule},
year = {2008},
doi = {10.1016/j.dam.2007.08.036},
url = {http://dx.doi.org/10.1016/j.dam.2007.08.036},
tags = {rule-based},
researchr = {https://researchr.org/publication/MaarenNH08},
cites = {0},
citedby = {0},
journal = {Discrete Applied Mathematics},
volume = {156},
number = {10},
pages = {1754-1779},
}