Miguel F. Anjos An Extended Semidefinite Relaxation for Satisfiability. 15-31 2008 4 JSAT 1 http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_2_Anjos.pdf db/journals/jsat/jsat4.html#Anjos08