理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- Saha formula
- Saha ionization equation
- Saha ionization formula
- Sahara
- Saharan
- Sahar Khalifeh
- Saha's equation
- Sah, Chih-Tang
- Sahel
- Sahelanthoropus tchadensis
- Sahelanthropus Toumaï
- Sahel-Benin Union
- Sahitya Akademi
- Sahitya Akademi Award
- Sahle Sellassie
- Sa Hsiao
- SAI
- Sai
- Saibei
- SAIC
- Saicho
- Saichō
- SAID
- Saida
- Said Ahmad