Complexity classifications of Boolean constraint satisfaction problems - Creignou, Nadia, author (Society for Industrial and Applied Mathematics, 2001)