理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- international media coproductions
- International Meeting of Biochemistry（Beijing，1987)）
- international merger and acquisition
- International Meridian Circle Program
- International Meteorological Organization Prize
- international migration
- International Military Sports Council
- International Military Testing Association
- International Mind Sports Association
- international minimum standard of treatment
- International Missionary Council
- international mobile equipment identity
- International Mobile Satellite Organization
- international mobile subscriber identity
- international mobile telecommunications-2000
- international mobile telecommunications-2000, IMT-2000
- International Modern Pentathlon Union
- international monetary and financial law
- International Monetary Fund
- international monetary fundcode of good practices on fiscal transparency
- international monetary system
- International Monitoring Mission for Liberia's Revenue
- international monopoly combines
- international monopoly organization
- International Motor Sport Federation