The approximability of non-Boolean satisfiability problems and restricted integer programming
scientific article; zbMATH DE number 2153182