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.