Relaxations of the satisfiability problem using semidefinite programming

E de Klerk, H van Maaren, JP Warners

Research output: Contribution to journal › Article › Scientific

Original language	Undefined/Unknown
Pages (from-to)	37-65
Number of pages	29
Journal	Journal of Automated Reasoning
Volume	24
Publication status	Published - 2000

Keywords

@article{66ab1fcadeb945a690d72ef67f9b1d2f,

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

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "{de Klerk}, E and {van Maaren}, H and JP Warners",

year = "2000",

language = "Undefined/Unknown",

volume = "24",

pages = "37--65",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer",

}