制約 せいやく伝搬 でんぱん
seiyakudempan

Noun

1. constraint propagation