理学 约束满足问题 释 constraint propagation 约束传递 求解约束满足问题的一种推理技术。一般地讲，约束传递是使用约束来减小变量的合法取值范围的一种技术，任何推理都可以用于约束传递，只要这个推理是基于为了不破坏某个或某些约束，必须禁止某个变量的一些取值或者禁止某些变量的取值组合。又译约束传播。
人工智能 自动推理 释文 constraint propagation 约束传播
- school motto
- school observation
- School of Abdominal Diagnostic Tuina
- School of Acu-pointing Tuina
- School of Aeronautics and Astronautics, Shanghai Jiaotong University
- School of Aeronautics and Astronautics, Sichuan University
- School of Aeronautics and Astronautics, Zhejiang University
- School of Aerospace Engineering, Xiamen University
- School of Aerospace Engineering, Xi'an Jiaotong University
- School of Aerospace Engineering，Beijing Institute of Technology
- School of Aerospace Engineering，Tsinghua University
- School of Aerospace, Transport and Manufacturing, Cranfield University
- School of Archaeology and Museology, Peking University
- School of Archaeology and Museology, Sichuan University
- School of Architecture and Design in Beijing Jiaotong University
- School of art and design Coventry university
- School of Arts and Communication, University of Paris III
- School of Arts, North China United University
- School of Arts, Peking University
- School of Art, University of Quebec, Montreal
- School of Bone-setting Tuina
- school of cold damages
- School of Communication and Arts, University of São Paulo
- School of Computing and Information, University of Pittsburgh
- School of Cultural Creativity and Communication, Zhejiang Normal University