Nadia Creignou, Sanjeev Khanna, Madhu Sudan. Complexity classifications of Boolean constraint satisfaction problems. Volume 7 of SIAM monographs on discrete mathematics and applications, SIAM, 2001.
@book{0004131,
title = {Complexity classifications of Boolean constraint satisfaction problems},
author = {Nadia Creignou and Sanjeev Khanna and Madhu Sudan},
year = {2001},
researchr = {https://researchr.org/publication/0004131},
cites = {0},
citedby = {0},
volume = {7},
series = {SIAM monographs on discrete mathematics and applications},
publisher = {SIAM},
isbn = {978-0-89871-479-1},
}