约束满足问题是求解复杂调度和资源分配问题的有效方法。在综述了约束满足问题建模和搜索策略理论的基础上,引出了有效解决约束满足问题的优化工具——ILOG组件。然后介绍了ILOG组件在对约束满足问题建模和求解方面的具体应用,并给出了应用ILOG解决工序安排问题的实例。