
"Hierarchical Classifications in Constraint Satisfaction (Third Edition)" defines a universal classification system for the instances of any finite Constraint Satisfaction Problem (CSP), the first level of which is their Trial-and-Error depth. It introduces two universal topologies...