TY - BOOK AU - Creignou, Nadia AU - Khanna, Sanjeev AU - Sudan, Madhu TI - Complexity classifications of boolean constraint satisfaction problems T2 - SIAM monographs on Discrete Mathematics and applications SN - 0898714796 U1 - 511.3 PY - 2001/// CY - Philadelphia PB - SIAM ER -