Etienne de Klerk Hans van Maaren On Semidefinite Programming Relaxations of (2+p)-SAT. 285-305 2003 37 Ann. Math. Artif. Intell. 3 db/journals/amai/amai37.html#KlerkM03