Sums of squares based approximation algorithms for MAX-SAT

More Info
expand_more