CNF satisfiability in a subspace and related problems
scientific article; zbMATH DE number 7608291