Approximating MAX SAT by Moderately Exponential and Parameterized Algorithms.
Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire
Browse the full TAMC paper archive.
Bruno Escoffier, Vangelis Th. Paschos, Emeric Tourniaire
Browse the full TAMC paper archive.