摘要: 首先综述求解约束满足问题的基本算法和搜索策略,
然后介绍ILOG SOLVER求解系统提供的类和函数的基本组成, 并给出用该系统求解的两个地图着色示例.
中图分类号:
姜英新, 孙吉贵. 约束满足问题求解及ILOG SOLVER系统简介[J]. J4, 2002, 40(01): 53-60.
JIANG Ying-xin, SUN Ji-gui. Solving Constraint Satisfaction Problem and Brief Introduction to ILOG SOLVER System[J]. J4, 2002, 40(01): 53-60.