基于约束满足问题的ILOG技术的应用
郝海亮, 王建中
约束满足问题是求解复杂调度和资源分配问题的有效方法。在综述了约束满足问题建模和搜索策略理论的基础上,引出了有效解决约束满足问题的优化工具——ILOG组件。然后介绍了ILOG组件在对约束满足问题建模和求解方面的具体应用,并给出了应用ILOG解决工序安排问题的实例。
:杭州电子科技大学学报