杰弗里·楚；玛丽亚·加西亚；彼得·斯图基（Peter J.Stuckey）。 在约束编程中自动利用子问题等价性。 （英语） Zbl 1285.68153号 Lodi，Andrea（编辑）等，组合优化问题约束编程中AI和OR技术的集成。2010年6月14日至18日在意大利博洛尼亚举行的2010年CPAIOR第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13519-4/pbk）。计算机科学课堂讲稿614071-86（2010）。 摘要：许多搜索问题在搜索中包含大量冗余。在本文中，我们研究了如何自动利用剩余子问题等价性，当两个不同的搜索路径导致相同的剩余子问题时，即遗留在剩余未固定变量上的问题。通过缓存定义访问的子问题的描述或键，利用子问题等价性，并在缓存中已存在当前子问题的键时，搜索失败。在本文中，我们展示了如何自动高效地定义任意约束问题的键。我们展示了具有这种能力的约束编程求解器如何解决子问题等价性更快出现几个数量级的搜索问题。该系统是全自动的，即无需问题建模人员的任何努力即可检测和利用子问题等价项。有关整个系列，请参见[Zbl 1189.68014号]. 引用于5文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90C27型 组合优化 软件：迷你锌；Gecode公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Chu}等人，Lect。票据计算。科学。6140、71-86（2010年；Zbl 1285.68153） 全文： 内政部 链接