自适应约束满足问题 求解方法的研究

约束求解是人工智能领域非常热门的方向之一，是约束程序的核心。自适应约束求解方法是研究热点并带领约束求解的发展方向。《自适应约束满足问题求解方法的研究》详述在约束求解的分支策略选择、变量选择、值选择以及约束传播等相关环节应用自适应理念的方法，重点介绍自适应对求解效率的影响。各章主要研究实现自适应约束求解的技术和方法，包括：比较分析典型分支策略，突出自适应分支策略的优势；比较分析典型变量排序启发式，实现自适应变量选择约束求解方法；结合自适应值选择与自适应分支，实现自适应值选择约束求解方法；设计并实现自适应约束传播约束求解方法。《自适应约束满足问题求解方法的研究》可作为计算机科学与技术、智能处理、信息技术等相关专业的硕士、博士研究生和计算机科技工作者的教材或参考书。