Title: Constraint-based reasoning
Subjects: Constraints (Artificial intelligence), Reasoning, Artificial intelligence