Anjos, M. F. (2011). Progress in Semidefinite Optimization Techniques for Satisfiability. Dans Mahjoub, R. (édit.), Progress in Combinatorial Optimization . Lien externe