Complexity classifications of Boolean constraint satisfaction problems by Nadia Creignou. ISBN 0898714796. Published by Society for Industrial and Applied Mathematics in 2001. Publication and catalogue information, links to buy online and reader comments.