On semidefinite least squares and minimal unsatisfiability - Anjos, Miguel F.; Vieira, Manuel V.C. (Discrete Applied Mathematics, 2017)