哈基米·本纳西尔；穆罕默德·萨拉·阿凡纳 分区-k-AC：结合域划分和弧一致性的高效过滤技术。 （英语） Zbl 1067.68614号 Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。2239, 560-564 (2001). 摘要：约束传播过程是解决约束满足问题（CSP）的有力工具。我们提出了一种过滤技术，该技术最好利用此工具来提高修剪效率。该技术结合了域划分和弧一致性，推广并提高了弧一致性的剪枝效率，以及单点弧一致性过滤技术。给出的实验结果表明了该技术带来的增益。关于整个系列，请参见[Zbl 0984.00059号]. 引用于5文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{H.Bennaceur}和\textit{M.-S.Affane}，莱克特。注释计算。科学。2239560--564（2001年；Zbl 1067.68614） 全文： 链接