noun
constraint propagation
Technical term in computer science and artificial intelligence, referring to the process of reducing the domain of variables by enforcing constraints.
制約伝搬は、制約充足問題を解くための基本的な手法の一つです。
Constraint propagation is one of the fundamental techniques for solving constraint satisfaction problems.
制約充足 (constraint satisfaction) is the broader problem class; 制約伝搬 is a specific algorithmic technique used within it.
Compound of 制約 (constraint) and 伝搬 (propagation), a direct translation of the English term.