理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- bud sport
- bud sport selection
- Budun Renqinzhu
- Budyko model
- Budyko模型
- Buena Vista Social Club
- Bueng Kan
- Buenos Aires Conference
- Buenos Aires Economic Declaration
- Buenos Aires International Book Fair
- Buenos Aires Protocol
- Buergen River
- Buerger sign
- bufanolide
- bufei ejiao decoction
- buff
- Buffalo
- Buffalo Boy and the Flute
- buffalobur
- buffaloes
- buffalograss
- buffalo horn
- Buffalo Olmsted Park System
- buffer
- buffer amplifier