Approximating satisfiable satisfiability problems (extended abstract)
scientific article; zbMATH DE number 7449713