Relaxations of the satisfiability problem using semidefinite programming

E. de Klerk, J.P. Warners, H. van Maaren

Research output: Contribution to journal › Article › Professional

259 Downloads (Pure)

Original language	English
Pages (from-to)	37-65
Number of pages	29
Journal	Journal of Automated Reasoning
Volume	24
Issue number	1-2
Publication status	Published - 2000
Externally published	Yes

Access to Document

@article{a321cb55e34e465794bcfc26788f1d64,

title = "Relaxations of the satisfiability problem using semidefinite programming",

author = "{de Klerk}, E. and J.P. Warners and {van Maaren}, H.",

note = "Pagination: 29",

year = "2000",

language = "English",

volume = "24",

pages = "37--65",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "1-2",

}