Semidefinite resolution and exactness of semidefinite relaxations for satisfiability - Anjos, Miguel F.; Vieira, Manuel V.C. (Discrete Applied Mathematics, 2013)