Anjos, Miguel F., and Manuel V. C. Vieira. "Semidefinite Resolution and Exactness of Semidefinite Relaxations for Satisfiability." Discrete Applied Mathematics. 161.18 (2013): 2812-2826.