The complexity of Boolean constraint satisfaction local search problems
scientific article; zbMATH DE number 2168183
scientific article