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

• 作者: 姜英新 孙吉贵
• 来源期刊: 吉林大学学报(理学版)
• 学科: 工学
• 关键词: 约束满足问题 约束求解 搜索策略
• 年，卷（期）: 2002,（1）
• 页码范围: 53-60
• 页数: 8页
• 分类号: TP31
• 字数: 7971字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2002.01.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0
2	姜英新	吉林大学计算机科学与技术学院	1	0	0.0	0.0