%0 Journal Article %J Discrete Applied Mathematics %D 2013 %T Semidefinite Resolution and Exactness of Semidefinite Relaxations for Satisfiability %A Miguel F. Anjos %A Manuel V. C. Vieira %N 18 %P 2812-2826 %V 161