On semidefinite least squares and minimum unsatisfiable subformulas - Anjos, Miguel F.; Vieira, Manuel V.C. (Groupe d’études et de recherche en analyse des décisions, 2014)