约束满足 ( Constraint Satisfaction )作为求解大规模组合优化问题的方法之一,能对搜索空间进行修剪,从而大大减少搜索的次数和时间。
基于194个网页-相关网页
在人工智能和操作研究中，限制满足（Constraint satisfaction）是对一系列限制寻找解决方案的过程。这些限制表示虑及变量值，而解决方案因此是满足所有限制的这些变量的一个评估。
基于36个网页-相关网页
Constraint Satisfaction Problem 约束满足问题 ; 限制满足问题 ; 束满足问题 ; 满足问题
Constraint Satisfaction Problems 约束满足问题 ; 约束满意问题
constraint satisfaction search 约束满足搜索
distributed constraint satisfaction 分布式约束满足
Constraint Satisfaction Technique 限制条件满足技术
constraint satisfaction network 约束满足网络
Constraint Satisfaction Problem-CSP 约束满足问题
Geometric Constraint Satisfaction Problem 束满足问题 ; 几何约束满足问题
SAT problem is the set of satisfiable boolean formulas,which can be widely used in such fields as symbolic logic,artificial intelligence,constraint satisfaction problem,design and detection of VLSI integrate circuit,theories of computer science,computer vision,proof of machine theory,robot program,and machine learning.
SAT问题是指可满足布尔表达式的集合，它在数理逻辑、人工智能、约束可满足性问题、VLSI集成电路设计与检测、计算机科学理论、计算机视觉、机器定理证明、机器人规划、机器学习等领域具有广阔的应用背景。
参考来源 - 线性公式可满足性判定问题的复杂性The replacement parameters, reasoning rules, constraint satisfaction solving and checking parameters were included in the process of whole modification.
事例修改过程包括参数替换、规则推理基于约束满足求解和参数检查这些步骤。
参考来源 - 基于事例推理的车身内部布置系统研究开发·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
In general, constraint satisfaction problems are NP-Complete.
一般而言，约束满足问题是NP完全的。
Constraint propagation is a method for solving constraint satisfaction problem (CSP).
约束传播算法是求解约束满足问题的一种重要方法。
Based on constraint satisfaction problems model a global scheduling module structure is designed.
采用约束满足问题模型建立全局调度系统模型，设计了全局调度模块结构。
应用推荐