Complexity classifications of Boolean constraint satisfaction problems /

Bibliographic Details

Main Author:	Creignou, Nadia
Other Authors:	Khanna, Sanjeev, Sudan, Madhu
Format:	Book
Language:	English
Published:	Philadelphia : Society for Industrial and Applied Mathematics, [2001]
Series:	SIAM monographs on discrete mathematics and applications.
Subjects:	Computational complexity. Constraints (Artificial intelligence) Algebra, Boolean.