On Some Recent Approximation Algorithms for MAX SAT

Matthias Poloczek, David P. Williamson, Anke van Zuylen
Satisfiability
Preprint DOI
Type
Conference paper
Publication
In Alberto Pardo and Alfredo Viola, editors, Lecture Notes in Computer Science Number 8392, LATIN 2014: Theoretical Informatics , pages 589-609, 2014.