Complexity Classifications of Boolean Constraint Satisfaction Problems

Presents a novel form of a compendium that classifies an infinite number of problems by using a rule-based approach.