Click to edit Master title styleClick to edit Master text stylesSecond levelThird levelFourth levelFifth levelConstraint Reasoning Florida Institute of Technologputer ScienceChapter 1) Introductio

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级史忠植 高级人工智能高级人工智能 第三章 约束推理 史忠植 中国科学院计算技术所42220221史忠植 高级人工智能第三章 约束推理3.1 概述3.2 回溯法 3.3 约束传播 3.4 回跳法 3.5 约束推理系统COPS 3.6 ILOG SOLVER4222