Creignou, Nadia.

Complexity classifications of Boolean constraint satisfaction proble ms / Nadia Creignou, Sanjeev Khanna, Madhu Sudan. - Philadelphia : Society for Industrial and Applied Mathematics, c2001. - xii, 106 p. ; 26 cm. - SIAM monographs on discrete mathematics and applications .

Includes bibliographical references (p. 97-102) and index.

0898714796

00-050988


Computational complexity.
Constraints (Artificial intelligence)
Boolean algebra.

511.3