理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- city planning law
- city planning of Shanghai under the Japanese Rule
- City Planning Review
- city plan of Binhai New Area
- city population size
- City Press
- city public relations
- cityscape
- city-side village
- City Site at Begram
- City Site at Feixian
- City Site at Tuchengzi Helingeer
- City Site at Wupaishan
- City Site at Xiaosifangshan
- City Site of Baalbek
- City Site of Beiting Protectorate
- City Site of Fes
- city site of Hun in Mongolia
- City Site of Qi State
- City Site of Tan State
- City Site of Timgad
- City Site of Ur
- City Site of Xue State
- city size
- city size distribution law