×
帕斯卡·范·亨特利克;赫尔穆特·西蒙尼斯;梅赫迈特·丁卡斯

使用约束逻辑编程的约束满足。 （英语） Zbl 0782.68028号

Artif公司。智力。 58，编号1-3，113-159（1992）.
概要：约束逻辑编程（CLP）是一类新的声明性编程语言，其基本操作基于约束（例如约束求解和约束蕴涵）。CLP语言自然地将约束传播与非确定性选择结合起来。因此，它们特别适合使用全局搜索范式解决各种组合搜索问题，与基于相同方法的程序工具相比，开发时间和效率都很短。
我们描述了CLP语言cc（FD）如何用于解决两个实际应用：测试图生成和汽车排序，它是CHIP在有限域上使用一致性技术的继承者。对于这两种应用，我们都给出了cc（FD）程序，描述了如何求解约束，报告了实验结果，并将该方法与现有工具进行了比较。

引用于23文件

MSC公司：

68N17号 逻辑编程
90C27型 组合优化
68T99型 人工智能

关键词：

CLP语言

软件：

苏格拉底;炸薯条
PDF格式BibTeX公司 XML格式引用
\textit{P.Van Hentenryck}等人，Artif。智力。58，编号1--3113-159（1992；Zbl 0782.68028）
全文： 内政部

参考文献：

[1] Abraham，J.A.，VLSI中的故障建模，（Williams，T.W.，VLSI测试。VLSI测试，VLSI CAD进展，5（1986），北荷兰：北荷兰阿姆斯特丹），1-27，第1章
[2] Borning，A.，ThingLab的编程语言方面，一个面向约束的模拟实验室，ACM Trans。程序。语言系统。，3, 4, 353-387 (1981)
[3] Bottorff，P.S.，测试生成和故障模拟，（Williams，T.W.，VLSI测试。VLSI测试，VLSI CAD进展，5（1986），北荷兰人：北荷兰阿姆斯特丹），29-64，第2章
[4] Brglez，F。；Pownall，P。；Hum，R.，《可测试性分析的应用：从ATPG到关键延迟路径跟踪》（IEEE国际测试会议论文集（1984））
[5] Brglez，F。；Pownall，P。；Hum，R.，通过可测试性分析加速ATPG和故障分级，（IEEE电路和系统国际研讨会论文集。IEEE电路与系统国际研讨会会议论文集，日本京都（1985）），695-698
[6] 巴特纳，W。；Simonis，H.，《将布尔表达式嵌入逻辑编程》，J.Symbol。计算。，4, 191-205 (1987) ·Zbl 0641.68148号
[7] Carlier，J。；Pinson，E.，《Une methode arborescente pour optimizer la duréE d’un JOB-SHOP》（技术报告ISSN 0294-2755（1986），I.M.A）
[8] Cheng，W.T.，《顺序测试生成的反向算法》（IEEE国际计算机设计会议论文集：计算机和处理器中的超大规模集成电路（ICCD88）。IEEE计算机设计国际会议论文集：计算机和处理器中的超大规模集成电路（ICCD88），Rye Brook，NY（1988））
[9] Christofides，N.（图论：算法方法（1975），学术出版社：纽约学术出版社）·Zbl 0321.94011号
[10] 克拉克·K·L。；McCabe，F.，《IC-PROLOG的控制设施》（Michie，D.，《微电子时代的专家系统》（1979），爱丁堡大学出版社：爱丁堡学院出版社），122-149
[11] Clocksin，W.F.，《逻辑编程与数字电路分析》，J.Logic Programm。，4，1，59-82（1987）·Zbl 0617.94014号
[12] Colmerauer，A.，Prolog III简介，Commun。ACM，28，4，412-418（1990）
[13] 科尔梅劳尔。；卡努伊，H。；Van Caneghem，M.，Prolog，《基础理论与发展行动》，T.S.I.（技术与科学信息），2，4，271-311（1983）·Zbl 0517.68014号
[14] 院长，T。；博迪，M.，时间依赖性规划的分析，（《美国医学会杂志》第88期。AAAI-88会议记录，明尼苏达州圣保罗（1988），49-54
[15] de Kleer，J.，《基于假设的TMS》，Artif。整数。，28, 127-162 (1986)
[16] Deville，Y。；Van Hentenryck，P.，一类CSP问题的有效弧一致性算法（Proceedings IJCAI-91）。澳大利亚悉尼IJCAI-91会议记录（1991年）
[17] Dincbas，M。；Lepape，J.-P.，《METALOG中逻辑程序的元控制》，第五代计算机系统国际会议论文集（FGCS’84）。第五代计算机系统国际会议论文集（FGCS’84），日本东京（1984），361-370
[18] Dincbas，M。；Simonis，H。；Van Hentenryck，P.，解决约束逻辑编程中的汽车排序问题，（欧洲人工智能会议论文集（ECAI-88）。欧洲人工智能会议论文集（ECAI-88），德国慕尼黑（1988）·Zbl 0800.68287号
[19] 丁巴斯，M。；Simonis，H。；Van Hentenryck，P.，《逻辑编程中大型组合问题的求解》，J.logic Programm。，8, 1-2, 75-93 (1990) ·Zbl 0719.68013号
[20] Dincbas，M。；Van Hentenryck，P。；Simonis，H。；阿贡，A。；格拉芙，T。；Berthier，F.，约束逻辑编程语言CHIP，（第五代计算机系统国际会议论文集。第五代计算系统国际会议文献集，日本东京（1988））·Zbl 0800.68287号
[21] Doyle，J.，《真相维护系统》，Artif。整数。，12, 231-272 (1979)
[22] Eshghi，K.，元级编程在逻辑电路故障查找中的应用，（逻辑编程及其应用（1985），Ablex:Ablex Norwood，NJ），208-219
[23] Fikes，R.E.，《解决非确定性程序问题的启发式程序》（博士论文（1968年），卡内基梅隆大学计算机科学系：卡内基梅隆大学匹兹堡计算机科学系）·Zbl 0203.49403号
[24] Fox，M.S.，《约束导向搜索：job-shop调度案例研究》（技术报告CMU-CS-83-161（1983），卡内基梅隆大学：卡内基梅隆大学匹兹堡，宾夕法尼亚州）·兹比尔0702.68032
[25] Fujiwara，H.，FAN:一种面向扇出的测试模式生成算法，（IEEE电路与系统国际研讨会论文集。IEEE电路和系统国际研讨会会议论文集，日本京都（1985）），671-674
[26] 藤原，H。；Shimono，T.，《关于测试生成算法的加速》，IEEE Trans。计算。，32, 1137-1144 (1983)
[27] Gallaire，H.，《逻辑编程：进一步发展》，（IEEE逻辑编程研讨会论文集。IEEE逻辑程序设计研讨会论文集，马萨诸塞州波士顿（1985）），88-99，（特邀论文）
[28] 加莱尔，H。；Lasserre，C.，逻辑程序的元级控制（logic Programming，1982），学术出版社：纽约学术出版社，173-185
[29] Goel，P.，生成组合逻辑电路测试的隐式枚举算法，IEEE Trans。计算。，30115-222（1981年）·Zbl 0455.94038号
[30] Graf，T.，将逻辑编程中的约束处理扩展到有理算术，（内部报告（1987），ECRC:ECRC慕尼黑，德国）
[31] （IJCAI-89会议记录。密歇根州底特律市IJCAI-89会议记录（1989）·Zbl 0728.68144号
[32] Gullichsen，E.，使用PROLOG的启发式电路模拟，Integr。VLSI J.，3，283-318（1985）
[33] Gupta，R.，Prolog环境下VLSI电路的测试图生成，（第三届逻辑编程国际会议论文集。第三届国际逻辑编程会议论文集，伦敦（1986）），528-535
[34] Haralick，R.M。；Elliot，G.L.，提高约束满足问题的树搜索效率，Artif。整数。，14, 263-313 (1980)
[35] ISCAS，（IEEE电路与系统国际研讨会论文集。IEEE电路和系统国际研讨会会议论文集，日本京都（1985）），663-698，ATPG特别会议
[36] Jaffar，J。；Lassez，J.-L.，约束逻辑编程（Proceedings 14th ACM Symposium on Principles of programming Languages，POPL-87）。第14届ACM程序设计语言原则研讨会（POPL-87），德国慕尼黑（1987）·Zbl 0900.68127号
[37] Jaffar，J。；Michaylov，S.，《CLP系统的方法和实现》，（第四届逻辑编程国际会议论文集。第四届国际逻辑编程会议论文集，澳大利亚墨尔本（1987））
[38] 川井，M。；Oozeki，K。；高桥，M。；小野，M。；石坂，Y。；Masui，T.，大型组合电路的自动测试模式生成器，（IEEE国际电路与系统研讨会论文集。IEEE国际线路与系统研讨会会议论文集，日本京都（1985）），663-666
[39] Kubale，M。；Jackowski，D.，图着色的广义隐式枚举算法，Commun。ACM，28，4，412-418（1985）
[40] Lauriere，J.-L.，陈述和解决组合问题的语言和程序，Artif。整数。，10, 1, 29-127 (1978) ·Zbl 0374.68060号
[41] Lioy，A.，自适应回溯和动态分区增强了ATPG，（IEEE国际计算机设计会议论文集：计算机和处理器中的VLSI（ICCD88）。IEEE计算机设计国际会议论文集：计算机和处理器中的超大规模集成电路（ICCD88），Rye Brook，NY（1988））
[42] Mackworth，A.K.，《关系网络的一致性》，Artif。整数。，8, 1, 99-118 (1977) ·Zbl 0341.68061号
[43] Maher，M.J.，一类委托选择程序的逻辑语义，（第四届逻辑编程国际会议论文集。第四届国际逻辑编程会议论文集，澳大利亚墨尔本（1987）），858-876
[44] 莫尔，R。；Henderson，T.C.，Arc和path一致性回顾，Artif。整数。，28, 225-233 (1986)
[45] Montanari，U.，《约束网络：图像处理的基本属性和应用》，《信息科学》。，795-132年7月2日（1974年）·Zbl 0284.68074号
[46] Muarkami，M。；Kikuchihara，H.，使用扩展九值方法的LSI电路测试生成，（IEEE电路和系统国际研讨会论文集。IEEE电路与系统国际研讨会会议论文集，日本京都（1985）），675-678
[47] Naish，L.，《Prolog中的否定与控制》，（墨尔本大学：澳大利亚墨尔本学院博士论文（1985））·Zbl 0602.68006号
[48] 巴雷洛，B.D.，《汽车战争：（几乎）专家系统的诞生》，AI expert，3，1，60-64（1988）
[49] 巴雷洛，B.D。；华盛顿州卡巴特。；Wos，L.，《使用自动推理的Job-shop调度：车辆排序问题的案例研究》，J.Autom。推理，2，1，1-42（1986）
[50] Plotkin，G.D.，《操作语义的结构方法》（《技术报告》，DAIMI FN-19（1981），奥胡斯大学CS系：丹麦奥胡斯学院CS系）·Zbl 0512.68012号
[51] Pradhan，D.K.，（容错计算（1986），普伦蒂斯·霍尔：普伦蒂斯霍尔-恩格尔伍德悬崖，新泽西州）
[52] 罗莎莱斯，公元前。；Goel，P.，商业ATG系统应用于大规模组合电路的结果，（IEEE国际电路与系统研讨会论文集。IEEE国际线路与系统研讨会会议论文集，日本京都（1985）），667-670
[53] Roth，J.，《自动机故障诊断：演算和方法》，IBM J.Res.Dev.，10278-291（1966）·Zbl 0145.40707号
[54] Saraswat，V.A.，并发约束编程语言（博士论文（1989），卡内基梅隆大学：卡内基梅隆大学匹兹堡，PA）·Zbl 1002.68026号
[55] 萨拉斯瓦特，V.A。；Rinard，M.，并发约束编程（Proceedings 17-ACM Symposium on Principles of programming Languages）·Zbl 1002.68026号
[56] 萨拉斯瓦特，V.A。；里纳德，M。；Panangaden，P.，并发约束编程的语义基础（Proceedings 19th ACM Symposium on Principles of programming Languages），《第19届ACM程序设计语言原则研讨会论文集》，佛罗里达州奥兰多（1991）
[57] 舒尔茨，M。；特里施勒，E。；Sarfert，T.，Socrates:一个高效的自动测试模式生成系统（Proceedings International test Conference.Proceeding International test Conference，Washington，DC（1987））
[58] Shapiro，E.，并发逻辑编程语言家族，计算。调查。，21, 3, 413-510 (1990)
[59] Simonis，H.，使用逻辑编程的测试生成，（技术报告TR-LP-34（1988），ECRC:ECRC慕尼黑，德国）
[60] Simonis，H.，使用约束逻辑编程语言CHIP的测试生成，（第六届逻辑编程国际会议论文集。第六届国际逻辑编程会议论文集，葡萄牙里斯本（1989））
[61] Simonis，H.，ATPG重访，（技术报告TR-LP-56（1990），ECRC:ECRC慕尼黑，德国）
[62] Simonis，H。；Dincbas，M.，《使用扩展Prolog进行数字电路设计》，（IEEE电子CAD系统人工智能应用国际研讨会论文集。IEEE电子计算机CAD系统人工智应用国际研讨会会议论文集，德国慕尼黑（1987）），165-188
[63] Simonis，H。；Dincbas，M.，《使用逻辑编程进行数字电路故障诊断》（德国人工智能研讨会论文集（GWAI-87）。《德国人工智能研讨会论文集》（GWAI-87），德国盖塞克（1987），139-148
[64] Simonis，H。；Graf，T.，CHIP中的技术映射，（技术代表TR-LP-44（1990），ECRC:ECRC慕尼黑，德国）
[65] Simonis，H。；Nguyen，H.N。；Dincbas，M.，《使用芯片验证数字电路》（Milne，G.J.，Proceedings IFIP WG 10.2 International Working Conference on the Fusion of Hardware Design and Verification），苏格兰格拉斯哥，IFIP WG10.2国际硬件设计与验证融合工作会议（1988）
[66] 苏斯曼，G.J。；Steele，G.L.，CONSTRAINTS——一种表达几乎层次描述的语言，Artif。整数。，14, 1, 1-39 (1980)
[67] Sutherland，I.E.，《SKETCHPAD:人机图形通信系统》（1963），麻省理工学院林肯实验室：麻省理学院林肯实验室，马萨诸塞州剑桥
[68] Svanaes博士。；Aas，E.J.，通过逻辑编程生成测试，集成。VLSI J.，249-67（1984）
[69] 高松，Y。；Kinoshita，K.，通过10-V算法的有效测试生成方法，（IEEE电路和系统国际研讨会论文集。IEEE电路与系统国际研讨会会议论文集，日本京都（1985）），679-682
[70] 托玛，Y。；Goto，K.，使用Prolog进行大规模组合电路的测试生成，（第六届逻辑编程国际会议论文集。第六届国际逻辑编程会议论文集，葡萄牙里斯本（1987））·Zbl 0648.94021号
[71] 特里施勒，E。；Schulz，M.，《可测试性分析在自动测试仪中的应用：方法和实验结果》，（IEEE电路和系统国际研讨会论文集。IEEE电路与系统国际研讨会会议论文集，日本京都（1985）），691-694
[72] Van Hentenryck，P.，《逻辑编程系列》（逻辑编程中的约束满足（1989），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）·Zbl 1390.90520号
[73] Van Hentenryck，P。；Deville，Y.，《基数运算符：一种新的逻辑连接词及其在约束逻辑编程中的应用》（第八届逻辑编程国际会议论文集（ICLP-91）。第八届逻辑程序设计国际会议论文集（ICLP-91），法国巴黎（1991）
[74] Van Hentenryck，P。；Graf，T.，《约束逻辑编程中有理线性算术的标准形式》，（人工智能和数学国际研讨会论文集。人工智能与数学国际研讨会，佛罗里达州劳德代尔堡（1990））·Zbl 1034.68508号
[75] Van Hentenryck，P。；萨拉斯瓦特，V。；Deville，Y.，（有限域上的约束逻辑编程：cc（FD）的设计、实现和应用，技术报告。（1992），布朗大学：普罗维登斯布朗大学，RI）
[76] 瓦尔马，P。；Tohma，Y.，Protean，一个基于知识的测试生成器，（IEEE 1987年自定义集成电路会议论文集。IEEE 1987自定义集成电路大会论文集，俄勒冈州波特兰（1987））
[77] Waltz，D.，《从阴影场景的绘图中生成语义描述》（《技术报告》，AI271（1972），麻省理工学院：麻省理学院剑桥分校）
[78] Williams，T.W.，（VLSI测试，VLSI CAD进展，5（1986），荷兰北荷兰阿姆斯特丹北荷兰）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。