Relaxations of the Satisfiability Problem Using Semidefinite Programming

Authors
E.De Klerk",H.V.Maaren,J.P.Warners
Citation
E.de Klerk",h.v.maaren,j.p.warners, Relaxations of the Satisfiability Problem Using Semidefinite Programming, Journal of automated reasoning , 24(1/2), 2000, pp. 37-65
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
24
Issue
1/2
Year of publication
2000
Pages
37 - 65
Database
ACNP
SICI code