Anjos, Miguel F., and Manuel V. C. Vieira. "On semidefinite least squares and minimal unsatisfiability." Discrete Applied Mathematics. 217 (2017): 79-96.