×

使用搜索修剪技术改进SAT算法。 (英语) 兹比尔1067.68650

Walsh,Toby(编辑),约束编程的原理和实践-CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42863-1)。莱克特。注释计算。科学。2239, 770 (2001).
摘要:命题可满足性(SAT)是解决人工智能和计算机科学与工程其他领域中许多应用问题的基础。在最近的过去,SAT的智能回溯搜索算法已被证明在减少搜索量方面非常有效,通过应用非时间回溯策略和子句记录程序。除了常用的剪枝技术外,这些算法还可以使用其他不同的技术进行增强,即必要赋值的识别、随机化策略和简化技术。
关于整个系列,请参见[Zbl 0984.00059号].

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
PDF格式BibTeX公司 XML格式引用
全文: 链接