Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
scientific article; zbMATH DE number 5496762