10.3321/j.issn:1671-5489.2002.01.009
约束满足问题求解及ILOG SOLVER系统简介
首先综述求解约束满足问题的基本算法和搜索策略,然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成,并给出用该系统求解的两个地图着色示例.
约束满足问题、约束求解、搜索策略
40
TP31(计算技术、计算机技术)
国家自然科学基金60073039;教育部高校骨干教师资助计划;吉林省自然科学基金2000540
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共8页
53-60