Relaxations of the satisfiability problem using semidefinite programming / E. de Klerk, H. van Maaren, J.P. Warners

Relaxations of the satisfiability problem using semidefinite programming / E. de Klerk, H. van Maaren, J.P. Warners