@article {10050,
	title = {On semidefinite least squares and minimal unsatisfiability},
	journal = {Discrete Applied Mathematics},
	volume = {217},
	year = {2017},
	pages = {79-96},
	author = {Miguel F. Anjos and Manuel V. C. Vieira}
}
