@article {4756,
	title = {Semidefinite Resolution and Exactness of Semidefinite Relaxations for Satisfiability},
	journal = {Discrete Applied Mathematics},
	volume = {161},
	year = {2013},
	pages = {2812-2826},
	author = {Miguel F. Anjos and Manuel V. C. Vieira}
}
