Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms

Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire. Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms. In Manindra Agrawal, S. Barry Cooper, Angsheng Li, editors, Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings. Volume 7287 of Lecture Notes in Computer Science, pages 202-213, Springer, 2012. [doi]

Abstract

Abstract is missing.