×
法希姆·巴克斯

通过单位传播的GAC。 （英语） Zbl 1145.68502号

Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。计算机科学课堂讲稿4741133-147（2007）。
摘要：在本文中，我们认为在约束的CNF编码上使用单位传播（UP）是实现约束的广义弧一致性（GAC）的一种有吸引力且可能非常通用的方法。与传统的约束特定算法（传播器）相比，这种GAC方法具有许多优点：它更容易实现，在回溯上下文中自动提供递增性和递减性，并且可以提供子句理由来支持学习和非时间回溯。虽然UP在约束的标准CNF编码上无法实现GAC，但我们在这里显示，可以使用替代CNF编码，UP可以实现GAC。我们提供了适用于任何约束的通用编码。我们还为规则约束、中间约束和生成序列约束提供了特定于结构的编码，在这些约束上，UP可以使用与前面介绍的传播器相同的运行时边界来实现GAC。最后，我们解释了如何将UP引擎添加到CSP解算器中，以实现CNF中编码并通过UP传播的约束与通过传统约束特定传播器传播的约束的无缝集成。
关于整个系列，请参见[Zbl 1142.68007号].

引用于11文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
PDF格式BibTeX公司 XML格式引用
\文本{巴克斯}，勒克特。票据计算。科学。4741、133--147（2007年；Zbl 1145.68502）
全文： 内政部

参考文献：

[1] 俄亥俄州Bailleux。；布夫哈德。，年。；Rossi，F.，布尔基数约束的高效cnf编码，约束编程的原理与实践-CP 2003，108-122（2003），海德堡：斯普林格·Zbl 1273.68332号
[2] 俄亥俄州Bailleux。；布夫哈德，Y。；胡斯，H.H。；Mitchell，D.G.，《完全cnf编码：计数约束案例》，《可满足性测试的理论与应用》（2005），海德堡：斯普林格出版社
[3] Bennaceur，H.，《sat和csp技术的比较》，《约束》，9，123-138（2004）·Zbl 1074.68059号 ·doi:10.1023/B:CONS.000024048.03454.c0
[4] Bessière，C.，Régin，J.C.：一般约束网络的弧一致性：初步结果。In：程序。IJCAI，第398-404页（1997年）
[5] Chavira，M.，Darwiche，A.：编译具有局部结构的贝叶斯网络。In：程序。IJCAI 2005，第1306-1312页（2005）
[6] 迪莫普洛斯，Y。；斯特吉奥（Stergiou，K.）。；Benhamou，F.，《csp和sat中的传播》，《约束编程的原理与实践——CP 2006，137-151（2006）》，海德堡：斯普林格出版社·Zbl 1160.68542号 ·doi:10.1007/11889205_12
[7] Eén，n.，Sörensson，n.：迷你卫星解算器，http://www.cs.chalmers.se/cs/Research/FormalMethods/MiniSat/MiniSat.html ·Zbl 1204.68191号
[8] Freeman，J.W.：命题可满足性搜索算法的改进。宾夕法尼亚大学博士论文（1995年）
[9] Gent，I.：sat中的弧一致性。摘自：ECAI，第121-125页（2002年）
[10] Gent，I.，Nightingale，P.：SAT中所有不同的新编码。In：Proc。第三届约束满足问题建模与重构国际研讨会，第95-110页（2004年）
[11] 希伯拉德，E。；Bessière，C。；沃尔什，T。；Giunchiglia，E。；Taccella，A.，《sat中的局部一致性，可满足性测试的理论和应用》，400-407（2004），海德堡：斯普林格，海德伯格
[12] Katsirelos，G.，Bacchus，F.：csps中的广义无货物。In：程序。AAAI，第390-396页（2005年）
[13] Pesant，G。；Wallace，M.，有限变量序列的正则语言成员约束，约束编程的原理与实践-CP 2004（2004），海德堡：Springer，Heidelberg·Zbl 1152.68573号
[14] Quimper，C.-G.，Walsh，T.：分解全局语法约束。In：程序。CP 2007（2007）·Zbl 1145.68529号
[15] 辛兹。，C。；van Beek，P.，朝向布尔基数约束的最优cnf编码，约束编程的原理和实践-CP 2005，827-831（2005），海德堡：斯普林格·Zbl 1153.68488号 ·doi:10.1007/11564751_73
[16] van Hoeve，W.J。；Pesant，G。；卢梭，L.M。；Sabharwal，A。；Benhamou，F.，《重温序列约束，约束编程的原理与实践——CP 2006（2006）》，海德堡：斯普林格出版社·Zbl 1160.68573号 ·doi:10.1007/11889205_44
[17] 沃尔什，T。；Dechter，R.，Sat v csp，《约束编程的原理与实践——CP 2000，441-456（2000）》，海德堡：施普林格，海德伯格·Zbl 1044.68808号 ·doi:10.1007/3-540-45349-0_32
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。