制約伝搬 (せいやくでんぱん) — constraint propagation | Kumi Dictionary