约束满足问题求解及ILOG SOLVER系统简介

被引：14

作者：

姜英新

孙吉贵

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学计算机科学与技术学院长春

[3] 长春

来源：

吉林大学学报(理学版) | 2002年 / 01期

关键词：

约束满足问题; 约束求解; 搜索策略;

D O I：

10.13413/j.cnki.jdxblxb.2002.01.012

中图分类号：

TP311.5 [软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

首先综述求解约束满足问题的基本算法和搜索策略 ,然后介绍ILOGSOLVER求解系统提供的类和函数的基本组成 ,并给出用该系统求解的两个地图着色示例

引用

收藏

页码：53 / 60

页数：8

相关论文

共 5 条

[1]

Foundations of Constraint Satisfaction. Tsang Edward. . 1993

[2]

Iterative Broadening. Ginsberg M L,Harvey W D. Artificial Intelligence . 1992

[3]

Programming with Constraint: An Introduction. Kim M,Peter J. . 1998

[4]

Explicit Solutions to the N-queens Problem for All N. Bernhardsson B. SIGART Bulletin . 1991

[5]

Divide and Conquer under Global Constraints: Asolution to Then-queens Problem. Abramson B,Yung M. Journal ofParallel and Distributed Computing . 1989