哈德里安·坎巴扎德；纳伦德拉·尤西恩 使用基于解释的约束编程来识别和利用问题结构。 （英语） Zbl 1133.90381号 Barták，Roman（ed.）等人，组合优化问题约束编程中人工智能和OR技术的集成。；2005年5月31日至6月1日在捷克共和国布拉格举行的2005年CPAIOR第二届国际会议。提交诉讼。柏林：施普林格出版社（ISBN 978-3-540-26152-0/pbk）。《计算机科学讲义》3524194-109（2005）。 摘要：最近的工作显示了组合问题实例之间的特定结构，可以用于加快搜索速度或帮助用户了解所解决问题的动态和静态亲密结构。几种运筹学方法对给定问题中确定的结构应用分解或放松策略。下一步是设计算法，在搜索过程中自适应地集成此类信息。在本文中，我们声称，受之前基于影响的约束编程搜索策略研究的启发，使用基于解释的约束求解器可能会导致收集有关问题实例的紧密动态和静态结构的宝贵信息。我们定义了几个影响图，用于设计通用搜索指导技术和识别实例的隐藏结构。最后，我们讨论了在显示变量之间的特定关系时，专用OR求解策略（如Benders分解）如何适用于约束编程。有关整个系列，请参见[Zbl 1131.68003号]. 引用于2文件 MSC公司： 90C27型 组合优化 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{H.Cambazard}和\textit{N.Jussien}，莱克特。票据计算。科学。3524，94-109（2005年；兹bl 1133.90381） 全文： 内政部 哈尔