艾伦·K·麦克沃思。 关系网络的一致性。 （英语） Zbl 0341.68061号 Artif公司。智力。 8, 99-118 (1977)。 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于236文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 68号01 软件理论的一般主题 65年第68季度 算法和问题复杂性分析 软件：算法97 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Mackworth}，阿蒂夫。智力。8、99-118（1977年；Zbl 0341.68061） 全文： 内政部 参考文献： [1] Aho，A.V。；霍普克罗夫特，J.E。；Ullman，J.D.，《计算机算法的设计与分析》（1974年），《Addison-Wesley：Addison-Whesley阅读》，马萨诸塞州·Zbl 0286.68029号 [2] Bobrow，D.G。；Raphael，B.，《人工智能研究的新编程语言》，计算。调查。，6, 153-174 (1974) ·Zbl 0296.68096号 [3] Burstall，R.M.，一个解决单词和难题的程序，计算。J.，12，48-51（1969年）·Zbl 0164.46202号 [4] O.J.达尔。；Djikstra，E.W。；Hoare，C.A.R.，《结构化编程》（1972），学术出版社·Zbl 0267.68001号 [5] Eastman，C.M.，《自动空间规划，人工智能》，第4期，第41-64页（1973年） [6] Fikes，R.E.，REF-ARF：解决程序问题的系统，人工智能，127-120（1970）·Zbl 0203.49403号 [7] Floyd，R.W.，《非确定性算法》，J.Assoc.Compute。机器。，14, 636-644 (1967) ·Zbl 0153.47006号 [8] Floyd，R.W.，《算法97：最短路径》，通信ACM，5345（1962） [9] Garey，M.R。；约翰逊，D.S。；Stockmeyer，L.，《一些简化的NP-完全问题》（Proc.6th Annual，ACM Symp.Theory Compute，Proc.6st Annual。ACM Symp Theory compute，Seattle，Wash.（1974）），第47-63页·Zbl 0338.05120号 [10] Gaschnig，J.A.，推理的约束满足方法，（Proc.12th Annual.Allerton Conf.Circuit System Theory.Proc.12st Annual.Allerton Conf.Circuit System理论，U.Ill.，Urbana-Champaign（1974）） [11] Haims，M.，关于最优二维分配问题，（纽约大学电气工程系博士论文（1966）：纽约大学电气工程学系）·兹比尔0217.26904 [12] Mackworth，A.K.，《使用模型进行观察》，（《人工智能与行为模拟夏季会议（1974年），苏塞克斯大学），127-137 [13] Mackworth，A.K.，《解读多面体场景的图片》，《人工智能》，第4期，第121-137页（1973年） [14] Montanari，U.，《约束网络：图像处理的基本属性和应用》，Inform。科学。，7, 95-132 (1974) ·Zbl 0284.68074号 [15] Montanari，U.，《图像处理中的优化方法》，（国际单项体育联合会会议记录（1974），北荷兰），727-732·Zbl 0296.68101号 [16] Nilsson，N.J.，《人工智能中的问题解决方法》（1971），McGraw-Hill [17] （Nilsson，N.，《人工智能研究与应用》，进度报告（1975年），斯坦福研究所） [18] 罗森菲尔德，A。；胡默尔，A。；Zucker，S.W.，《通过放松操作进行场景标记》（计算机科学TR-379（1975），马里兰大学）·Zbl 0335.68070号 [19] 苏斯曼，G.J。；McDermott，D.V.，《为什么纵容比计划更好》（《人工智能备忘录》，编号255A（1972），麻省理工学院） [20] Sussman，G.J.，《金融空间问题》（The FINDSPACE problem）（《人工智能备忘录》，第286号（1973年），麻省理工学院） [21] Suzman，P.和Barrow，H.G.私人通信，1975年。；Suzman，P.和Barrow，H.G.私人通信，1975年。 [22] Turner，K.J.，《使用电视摄像机对弯曲物体的计算机感知》（爱丁堡大学人工智能学院机器智能系博士论文（1974）） [23] Unger，S.H.，GIT-测试有向线图对同构的启发式程序，通信ACM，7，26-34（1964）·Zbl 0123.33710号 [24] Waltz，D.L.，《从阴影场景的绘图中生成语义描述》（MAC-AI-TR-271（1972），麻省理工学院） [25] Warshall，S.，《布尔矩阵定理》，J.Assoc.Compute。机器。，9, 11-12 (1962) ·Zbl 0118.33104号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。