Anjos, M. F., & Vieira, M. V. C. (2013). Semidefinite Resolution and Exactness of Semidefinite Relaxations for Satisfiability. Discrete Applied Mathematics, 161(18), 2812-2826. Lien externe