理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- Architectural Association School of Architecture
- architectural coating
- Architectural Complex of the Moscow Kremlin
- architectural concrete, fair-faced concrete
- Architectural Design
- architectural design
- architectural design and theory
- architectural design decision
- architectural design institute
- Architectural Design in the Postmodern Age: A Review of Contemporary Architecture in America
- architectural design method
- architectural design of protective engineering
- architectural design theory
- architectural design unit
- architectural diagram on bronze unearthed at Shizhaishan Mountain
- architectural drawing
- Architectural Drawing Design for Environmental Engineering
- architectural elements
- architectural elements of sound absorption treatment
- architectural ethics
- architectural glass
- architectural hardware
- architectural history and theory
- architectural innovation
- architectural lighting