Semidefinite resolution and exactness of semidefinite relaxations for satisfiability - Anjos, Miguel F.; Vieira, Manuel V.C. (Groupe d’études et de recherche en analyse des décisions, 2011)