有界组合重构与答案集规划
摘要：有界组合重构是一种基于答案集程序的解决组合重构问题的方法。通常的任务是研究源组合问题的解空间，并决定是否存在具有特殊特性的可行解序列。结果表明，recongo解算器涵盖了最近国际组合重构竞赛（CoRe Challenge 2022）上的解算器轨迹的所有度量标准。recongo在单引擎解算器轨迹的最短度量标准中排名第一。本文介绍了有界组合重构的设计和实现，并提出了独立集重构问题的答案集程序编码，该问题是最常研究的组合重构问题之一。最后，我们对CoRe Challenge 2022的所有实例进行了实证分析。
作者：Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
论文ID：2307.10688
分类：Artificial Intelligence
分类简称：cs.AI
提交时间：2023-07-21