Complexity Classifications of Boolean Constraint Satisfaction Problems
Published: 2001
ISBN-13: 9780898718546