理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- AC energy standard
- acentral
- acentral element
- acentral index
- acentric factor
- acephate
- acerathere
- Acer negundo
- Acerola cherry
- A Certain Woman
- Acer truncatum Bunge seed oil
- acesulfame potassium
- acetal
- acetaldehyde
- acetaldehyde poisoning
- acetalization
- acetal phosphatide
- acetal phosphatide; plasmalogen
- acetal resin
- acetamide
- acetaminophen
- acetamiprid
- acetanilide
- acetanilide herbicides
- acetarsol