TY  - BOOK
AU  - Creignou, Nadia.
AU  - Khanna, Sanjeev.
AU  - Sudan, Madhu.
TI  -  Complexity classifications of Boolean constraint satisfaction proble ms
SN  - 0898714796
U1  - 511.3 21
PY  - 2001///
CY  - Philadelphia
PB  - Society for Industrial and Applied Mathematics
KW  - Computational complexity
KW  - Constraints (Artificial intelligence)
KW  - Boolean algebra
N1  - Includes bibliographical references (p. 97-102) and index
ER  -