Solving sparse instances of Max SAT via width reduction and greedy restriction
scientific article; zbMATH DE number 6536611
scientific article