Sums of squares based approximation algorithms for MAX-SAT
More Info
expand_more
expand_more