|
|||||
|
|
| 基于代数格的软约束程序设计框架 | |
| 引用本文： | 张永刚,孙吉贵. 基于代数格的软约束程序设计框架[J]. 计算机科学, 2004, 31(Z2): 306-309 |
| 作者姓名： | 张永刚 孙吉贵 |
| 作者单位： | 吉林大学计算机科学与技术学院,长春,130012 |
| 基金项目： | 本文受国家自然科学基金(编号:60073039;60273080)资助. |
| 摘 要： | 1引言约束程序设计(Constraint Programming,CP)是一种新兴的软件技术,具体应用时,分为约束建模和约束求解两个阶段.实践已经证明95%以上的实际约束问题都是有限论域上的约束满足问题(Constraint Satisfaction Problems,CSP),因而CSP问题建模技术和相关的求解方法已经成为CP中的核心技术,同时CSP也是人工智能领域最为成功的技术之一,在处理配置、调度、规划等实际问题显示出强大的能力[1,2]. |
Lattice-Based Soft Constraint Programming Framework |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |