Complexity classifications of Boolean constraint satisfaction problems /
Creignou, Nadia.
Khanna, Sanjeev.
Sudan, Madhu.
Philadelphia, Pa. : Society for Industrial and Applied Mathematics,
c2001.
Includes bibliographical references (p. 97-102) and index.
Computational complexity.
Constraints (Artificial intelligence)
Boolean algebra.