Anjos, M. F., & Vieira, M. V. C. (2014). On semidefinite least squares and minimum unsatisfiable subformulas. (Rapport technique n° G-2014-33). Lien externe
