Approximating MAX SAT by moderately exponential and parameterized algorithms
scientific article; zbMATH DE number 6376182
scientific article