Generalized CNF satisfiability problems and non-efficient approximability | IEEE Conference Publication | IEEE Xplore