Creignou, N. Complexity classifications of boolean constraint satisfaction problems - Philadelphia SIAM: Society for Industrial and Applied Mathematics 2001 - xii, 106p. - SIAM monographs on discrete mathematics and applications . ISBN: 0-89871-479-6