有穷论域约束逻辑程序设计及其应用

摘要：

该文介绍了约束逻辑程序设计的发展现状,讨论了有穷论域约束逻辑程序设计中所采用的各种技术,包括约束建模、搜索控制以及优化等,然后详细论述了它在管理决策支持方面的应用,主要是调度问题,包括工业调度、时间表调度等.最后指出了未来发展方向.

关键词： 有穷论域 约束逻辑程序设计 调度问题 约束求解

作者: 张永刚 孙吉贵

作者单位: 吉林大学计算机科学与技术学院(长春)

会议类型: 国内会议

会议名称: 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

会议地点: 合肥

会议语种:中文

页码: 853-858

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）