自适应约束满足问题求解方法的研究 王海燕 科学出版社 PDF电子教材 PDF电子书 大学教材电子版 电子课本 网盘下载（价值75元）【高清非扫描版】（2021年）

约束求解是人工智能领域最热门的方向之一，是约束程序的核心。自适应约束求解方法是研究热点并引领约束求解的发展方向。本书详述在约束求解的分支策略选择、变量选择、值选择以及约束传播等相关环节应用自适应理念的方法，重点介绍自适应对求解效率的影响。各章主要研究实现自适应约束求解的技术和方法，包括：比较分析典型分支策略，突出自适应分支策略的优势；比较分析典型变量排序启发式，实现自适应变量选择约束求解方法；结合自适应值选择与自适应分支，实现自适应值选择约束求解方法；设计并实现自适应约束传播约束求解方法。