Approximating MIN 2-SAT and MIN 3-SAT
scientific article; zbMATH DE number 2175832