制約充足問題（Constraint satisfaction problem, CSP）は、複数の制約条件を
満たすオブジェクトや状態を見つけるという数学の問題を指す。CSPは特に人工知能やオペレーションズ・リサーチで研究されている。多くのCSPでは、それなりの時間内に解くのにヒューリスティクスと組合せ最適化手法を組み合わせる必要がある。

制約充足問題の具体例:

エイト・クイーン
四色問題
数独
充足可能性問題

制約充足問題を解くアルゴリズムとしてはAC-3アルゴリズム、バックトラッキング、
制約違反最小化などがある。