Sums of squares based approximation algorithms for MAX-SAT

H van Maaren, L van Norden, MJH Heule

Research output: Contribution to journalArticleScientificpeer-review

6 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)1754-1779
Number of pages26
JournalDiscrete Applied Mathematics
Volume156
Publication statusPublished - 2008

Keywords

  • CWTS JFIS < 0.75

Cite this