Creignou, Nadia and Khanna, Sanjeev and Sudan, Madhu <br/><br/>
Complexity Classifications of Boolean Constraint Satisfaction Problems (e-book) 

 -  Siam  2001 
 - Discrete Mathematics and Applications .
<br/><br/> http://portal.igpublish.com/iglibrary/search/SIAMB0000136.main.html?42 
<br/><br/><label>ISBN: </label>9780898714791 
<br/><br/><label>Subjects--Index Terms: </label>Computational complexity, Constraints (Artificial intelligence) Boolean algebra.