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. Theoretical Computer Science, 560:147-157, 2014. [doi]

Abstract

Abstract is missing.