费利克斯·盖勒；迈克尔·维克斯勒 条件CSP中基于假设的剪枝。 （英语） Zbl 1153.68458号 van Beek，Peter（编辑），《约束编程的原理和实践——CP 2005》。2005年10月1日至5日在西班牙西奇举行的CP 2005第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-29238-8/pbk）。计算机科学课堂讲稿3709241-255（2005）。 摘要：条件约束满足问题（CCSP）是标准约束满足问题的变体。CCSP对一些变量和约束可能在条件下处于非活动状态，从而无法参与解决方案的问题进行建模。最近，引入了以MAC为核心的算法来求解CCSP。我们使用简单的基于假设的推理扩展MAC。由此产生的算法Activity MAC（AMAC）能够实现比现有方法更好的修剪。在某些问题类别上，AMAC的效率比CondMAC高出两个数量级以上。我们的算法最自然地使用CCSP表示的变体来表示，我们称之为活动CSP（ACSP）。ACSP引入活动变量，显式控制解决方案中其他变量的存在。CCSP的常见方面，如活动聚类和分离，很容易被ACSP捕获，并有助于AMAC改进修剪。关于整个系列，请参见[Zbl 1140.68002号]. MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：CCSP公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Geller}和\textit{M.Veksler}，莱克特。注释计算。科学。3709241--255（2005年；Zbl 1153.68458） 全文： DOI程序