Sums of squares based approximation algorithms for MAX-SAT
scientific article; zbMATH DE number 5324149