用語説明

制約充足問題

幾つかの変数からなる式(制約)を満たす変数の組を見つける問題で,試行錯誤による探索処理によって解を求める。