De Klerk E. Relaxations of the satisfiability problem using semidefinite programming / E.De Klerk,H.van Maaren,J.P.Warners, 1999. - 21 p. - Текст : непосредственный.