Relaxations of the satisfiability problem using semidefinite programming

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

Research output: Contribution to journalArticleProfessional

16 Citations (Scopus)
87 Downloads (Pure)
Original languageEnglish
Pages (from-to)37-65
Number of pages29
JournalJournal of Automated Reasoning
Volume24
Issue number1-2
Publication statusPublished - 2000
Externally publishedYes

Cite this