张健;张汉涛 用同余闭包计算扩展有限模型搜索。 (英语) Zbl 1109.68643号 Buchberger,Bruno(编辑)等人,《人工智能和符号计算》。2004年9月22日至24日,第七届国际会议,AISC 2004,奥地利林茨。诉讼程序。柏林:施普林格(ISBN 3-540-23212-5/pbk)。计算机科学课堂讲稿3249。《人工智能课堂讲稿》,94-102(2004)。 摘要:模型生成问题作为约束满足问题(CSP)的一个特例,在人工智能、计算机科学和数学中有许多应用。本文描述了如何使用地面同余闭包算法来增加约束的传播。实验结果表明,使用同余闭包算法可以减少一些基准问题的搜索空间。关于整个系列,请参见[Zbl 1062.68002号]. 引用于1文件 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 68吨15 定理证明(演绎、解析等)(MSC2010) 软件:查找器 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}和\textit{H.Zhang},Lect。注释计算。科学。3249,94-102(2004年;兹bl 1109.68643) 全文: 内政部