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