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

首先综述求解约束满足问题的基本算法和搜索策略 ,然后介绍ILOGSOLVER求解系统提供的类和函数的基本组成 。