理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- Levi-Civita
- Levi Civita connection
- Levi-Civita connection
- Levi-Civita crater
- Levi-Civita density
- Levi-Civita parallel displacement
- Levi-Civita parallelism
- Levi-Civita pseudotensor
- Levi-Civita regularization
- Levi-Civita symbol
- Levi Civita tensor
- Levi-Civita tensor
- Levi condition
- Levi decomposition
- levies in kind
- Levi form
- Levi function
- Levi General
- Levi graph
- Levi lemma
- Le village
- Levi-Mal’tsev decomposition
- Levin
- Levinson
- Levinson-Smith method