理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- nondispersive wave
- non-dissipative
- nondissipative flow
- non-dissipative interaction
- non-divergence
- non-divergent series
- non-dividing set
- non-document information source
- non-dominated
- nondominated like point
- nondominated-like point
- non-dominated point
- nondominated point
- non-dominated solution
- Non-dramatic Songs in Prosperous Era
- Non-dramatic Songs of the Operatic Circle
- non-duality
- non-dualizable
- nondurable goods
- non dynamical correlation
- non-dynamical correlation
- nondynamical correlation
- non-economically active population
- noneconomic compensation
- nonedible biomass