Anjos, M. F., & Vieira, M. V. C. (2011). Semidefinite resolution and exactness of semidefinite relaxations for satisfiability. (Rapport technique n° G-2011-35). Lien externe
