On semidefinite programming relaxations for the satisfiability problem

Miguel F. Anjos. On semidefinite programming relaxations for the satisfiability problem. Math. Meth. of OR, 60(3):349-367, 2004. [doi]

Abstract

Abstract is missing.