弗雷德里克·布赛马;弗雷德·海默里;克利斯朵夫·勒库特;拉赫达尔·赛斯 支持泛型筛选的推理。 （英文） Zbl 1152.68543号 Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258721-725（2004）。 摘要：在本文中，我们表明对约束进行静态分析可以提供有趣的结构知识。这些知识被视为一些通用约束属性，在实现支持推理方面非常有用，从而降低一致性检查的成本。事实上，在搜索过程中利用预处理步骤中建立的某些属性可以大大改进回溯算法，从而保持某种形式的局部一致性，例如弧一致性。关于整个系列，请参见[Zbl 1139.68008号]. 引用于5文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） PDF格式BibTeX公司 XML格式引用 \textit{F.Boussemart}等人，Lect。注释计算。科学。3258721-725（2004年；兹bl 1152.68543） 全文： 内政部