Complexity classifications of Boolean constraint satisfaction problems Nadia Creignou, Sanjeev Khanna, Madhu Sudan.
Creignou, Nadia
Khanna, Sanjeev
Sudan, Madhu
Computational complexity.
Constraints (Artificial intelligence)
Boolean algebra.
QA267.7 .C74 2001
511.3 21 CRE-C
Includes bibliographical references (p. 97-102) and index.
Philadelphia : Society for Industrial and Applied Mathematics,
©2001.
©2001.
2001
Text
xii, 106 p. ;
http://www.loc.gov/catdir/enhancements/fy0708/00050988-d.html
http://www.loc.gov/catdir/enhancements/fy0708/00050988-t.html
eng
SIAM monographs on discrete mathematics and applications