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

自适应约束满足问题求解方法的研究
9787030674135
王海燕,赵剑,史丽娟 著

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