制約充足問題せいやくじゅうそくもんだいseiyakujuusokumondainounconstraint satisfaction problem (esp. in AI)CSPKanji in this word充allot制system問question約promise足leg題topicStudy it in Yanamino