约束传递（constraint propagation），理学-计算机科学技术-人工智能-机器学习-知识表示-案例推理-约束满足问题，求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。约束传递的核心思想是局部相容性。如果一个赋值不违反任何约束，称它为一个相容赋值或合法赋值。任何一个相容赋值肯定满足局部相容性。为了保证局部相容性，会导致不相容的变量取值或取值组合被删除（即禁止）。最主要的局部相容性有三种：结点相容、弧相容和路径相容，这三种局部相容性也对应了三种主要的约束传递技术，约束传递的结果就是达到对应的局部相容性。如果一个变量值域中的所有取值都满足它的一元约束，则称此变量是结点相容的。例如，变量，并且有一个约束，那么为了达到结点相容，的值域就变为。如果约束满足问题中某变量值域中的所有取值满足该变量的所有二元约束，则称此变量是弧相容的。