Constraint Satisfaction Problem (CSP) — Glossary — ThinkLLM