Constraint satisfaction problem
Appearance
Constraint satisfaction problems or CSPs are mathematical problems where one must find states or objects in a system that satisfy a number of constraints or criteria. CSPs are the subject of intense research in both artificial intelligence and operations research. Many CSPs require a combination of heuristics and combinatorial search methods to solve in a reasonable time.
One very good text on the subject is Edward Tsang's Foundations of Constraint Satisfaction.