Progress in semidefinite optimization techniques for satisiability - Anjos, Miguel F. (Progress in Combinatorial Optimization, 2012)