米歇尔,L。;Van Hentenryck,P。 用于约束编程的微内核体系结构。 (英语) Zbl 1390.90520号 约束条件 22,第2期,107-151(2017)。 摘要:本文介绍了一个微内核围绕少量核心功能和最小接口组织的约束编程体系结构。该体系结构与许多实现的整体性形成对比。通过这种设计,变量、域和约束都保持在微内核的外部,微内核将传播逻辑和事件协议与建模构造隔离开来。这个目标-CPsearch以一种完全透明和完全组合的方式将宿主语言的控制原语与搜索组合词混合在一起,提供了一个自然的搜索过程,在该过程中可以使用本地构造和调试器等工具。实证结果表明,软件工程效益与运行效率并不矛盾。 引用于三文件 MSC公司: 90立方 非线性规划 90-04 与运筹学和数学编程有关的问题的软件、源代码等 关键词:解算器;微内核;有限域 软件:Gecode公司;C返回;迷你们;Numerica公司;立方厘米(FD);炸薯条;CPLEX公司;SALSA公司;乔科;欧兹;迷你锌;彗星;糠 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}和\textit{P.Van Hentenryck},《约束》22,第2期,第107--151页(2017;Zbl 1390.90520) 全文: 内政部 arXiv公司 参考文献: [1] 阿贡,A;Beldiceanu,N,CHIP编译器概述,(1991),(ICLP-91)。巴黎: [2] Barendregt,H.P.(1984)。lambda演算-其语法和语义,逻辑和数学基础研究第103卷北荷兰。 [3] Benhamou,F.、Goulard,F.、Granvilliers,L.和Puget,J.-F.(1999年)。修改外壳和盒子的一致性。在ICLP公司(第230-244页)。 [4] Boussemart,F.、Hemery,F.和Lecoutre,C.(2004)。约束满足问题的修正排序启发式算法。在第一次国际研讨会:约束传播和实施. ·Zbl 1152.68543号 [5] Colmerauer,A,序言III简介,ACM通信,28,412-418,(1990) [6] Dincbas,M.、Van Hentenryck,P.、Simonis,H.、Aggoun,A.、Graf,T.和Berthier,F.(1988年)。约束逻辑编程语言CHIP。在第五代计算机系统国际会议论文集.东京。 [7] Dincbas,M.、Van Hentenryck,P.、Simonis,H.、Aggoun,A.、Graf,T.和Berthier,F.(1988年)。约束逻辑编程语言CHIP。在第五代计算机系统国际会议记录.东京。 [8] 末日,G;Hentenryck,P;Michel,L,基于约束的局部搜索的模型驱动可视化,约束,14,294-324,(2009)·Zbl 1179.68141号 ·doi:10.1007/s10601-008-9063-y [9] Fontaine,D.、Michel,L.和Van Hentenryck,P.(2013)。混合优化的模型组合器。在Schulte,C.(编辑)中,第19届约束规划原理与实践国际会议论文集(第8124卷,第299-314页)。施普林格柏林海德堡。 [10] Fontaine,D.和Michel,L.(2012年)。用于独立于求解器的模型操作和混合求解器操作的高级语言。在Beldiceanu,N.、Jussien,N.和Pinson,E.(编辑)中,CPAIOR,计算机科学课堂讲稿第7298卷(第180-194页)。斯普林格。 [11] Gamma,E.、Helm,R.、Johnson,R.和John,V.(1994年)。设计模式:可重用面向对象软件的元素,第1版。Addison-Wesley Professional公司。 [12] Gent,I.a.n.P.、Jefferson,C.和Miguel,I.(2006)。仆从:一个快速可伸缩的约束求解器。在2006年ECAI会议记录,Riva del Garda(第98-102页)。IOS出版社。 [13] Gent,I.P.、Jefferson,C.和Miguel,I.(2006)。中约束传播的监视文本仆从在Benhamou,F.(编辑),约束编程的原理与实践——CP 2006,计算机科学课堂讲稿第4204卷(第182-197页)。施普林格-柏林-海德堡·Zbl 1420.68195号 [14] Helsgaun,K,Cback:用C进行回溯编程的简单工具,软件实践实验,25905-934,(1995)·doi:10.1002/spe.4380250805 [15] Hentenryck,P.V.和Michel,L.(2013)。目标CP优化系统。在Schulte,C.(编辑)中,约束编程的原理与实践——第19届国际会议,CP 2013,乌普萨拉,瑞典,9月16-20日,计算机科学讲稿第8124卷(第8-29页)。斯普林格。 [16] 胡克,J.N.(2000)。基于逻辑的优化方法:结合优化和约束满足威利·Zbl 0974.90001号 [17] IBM。Ilog CONCERT技术。http://eaton.math.rpi.edu/cplex90html/refconcert/index.html。 [18] Ilog Solver 4.4(1998)。参考手册。Ilog SA,法国Gentilly。 [19] 贾法尔,J;Michaylov,S;Stuckey,PJ;Yap,R,CLP(R)语言和系统,ACM编程语言和系统事务,14,339-395,(1992)·数字对象标识代码:10.1145/129393.129398 [20] Jussien,N.、Rochart,G.和Lorca,X.(2008)。Choco约束编程解算器。在CPAIOR’08整数和约束编程开源软件研讨会(OSSICP’08)。OSSICP公司。 [21] Kuchcinski,K.和Szymanek,R.(2012年)。Jacop图书馆用户指南技术报告。 [22] Laburthe,F.和Caseau,Y.(1998年)。SALSA:搜索算法语言。在第四届约束规划原则与实践国际会议(CP'98).意大利·Zbl 1020.68028号 [23] Lagerkvist,M.Z.和Schulte,C.(2009年)。传播者群体。在Gent,I.P.(编辑)中,CP,计算机科学课堂讲稿第5732卷(第524-538页)。斯普林格。 [24] Michel,L.、See,A.和Van Hentenryck,P.(2006年)。C++中的高级非确定性抽象。在第12届约束规划原则与实践国际会议。(CP’06),计算机科学课堂讲稿南特。 [25] 米歇尔,L;参见,A;Van Hentenryck,P,约束编程的透明并行化,INFORMS计算杂志,21363-382,(2009)·兹比尔1243.90008 ·doi:10.1287/ijoc.1080.0313 [26] Michel,L.和Van Hentenryck,P.(2013)。约束编程的域视图。在TRICS13:实现约束编程系统的技术。 [27] 米歇尔,L;参见,A;Hentenryck,PV,COMET中的并行和分布式本地搜索,计算机与运筹学,362357-2375,(2009)·Zbl 1179.90288号 ·doi:10.1016/j.cor.2008.08.014 [28] Michel,L.和Hentenryck,P.V.(2012年)。基于活动的黑盒约束编程求解器搜索。在Beldiceanu,N.、Jussien,N.和Pinson,R.(编辑),组合优化问题约束编程中AI和OR技术的集成,计算机科学课堂讲稿第7298卷(第228-243页)。施普林格-柏林-海德堡·Zbl 1241.68008号 [29] 莫斯科,MW;马迪根,CF;赵,Y;张,L;夏夫(Chaff),SM,Engineering a efficient sat solver,530-535,(2001),纽约 [30] Nethercote,N.、Stuckey,P.J.、Becket,R.、Brand,S.、Duck,G.J.和Tack,G.(2007)。Minizin:走向标准cp建模语言。在第十三届约束规划原理与实践国际会议论文集(第529-543页)。斯普林格。 [31] Prud’homme,C.、Fages,J.-G.和Lorca,X.(2014)。Choco3文档。TASC、INRIA Rennes、LINA CNRS UMR 6241、COSLING S.A.S.公司。 [32] Prud’homme,C.、Lorca,X.、Douence,R.和Jussien,N.(2013年)。使用dsl的传播引擎原型。在COSpeL:关于组合优化领域特定语言的第一次研讨会。 [33] Refalo,P.(2000)。约束规划模型和混合求解器的线性公式。在第六届约束规划原则与实践国际会议(CP'00)(第369-383页)。新加坡·Zbl 1044.68792号 [34] Refalo,P.(2004)。基于影响的约束编程搜索策略。在Wallace,M.(编辑),CP,计算机科学课堂讲稿第3258卷(第557-571页)。斯普林格·Zbl 1152.68577号 [35] 施里杰弗斯,T;塔克,G;Wuille,P;萨穆洛维茨,H;Stuckey,PJ,搜索组合词,约束,18,269-305,(2013)·Zbl 1309.90090号 ·doi:10.1007/s10601-012-9137-8 [36] Schulte,C.、Tack,G.和Lagerkvist,M.(2009年)。Gecode通用约束开发环境。 [37] 舒尔特,C;Stuckey,PJ,Efficient constraint propagation engines,ACM Transactions on Programming Languages and Systems,31,2:1-2:43,(2008年)·doi:10.1145/1452044.1452046 [38] Schulte,C.和Tack,G.(2010年)。实施有效的传播控制。在TRICS 2010,实施约束编程系统技术第三次研讨会。 [39] 舒尔特,C;Tack,G,基于视图的传播算子推导,约束,18,75-107,(2013)·Zbl 1328.68202号 ·doi:10.1007/s10601-012-9133-z [40] Smolka,G.(1995)。Oz编程模型。在Leeuwen,J.V.(编辑),今日计算机科学(第1000期,第324-343页).LNCS,Springer Verlag公司。 [41] Van Hentenryck,P.(1989)。逻辑编程中的约束满足。剑桥:《逻辑编程系列》,麻省理工学院出版社。 [42] Van Hentenryck,P.(1989)。逻辑编程中的并行约束满足:PEPSys中CHIP的初步结果。在第六届逻辑程序设计国际会议里斯本。 [43] Van Hentenryck,P.(1991年)。CLP语言CHIP:约束求解和应用。在COMPCON-91公司旧金山。 [44] Van Hentenryck,P.(1999)。OPL优化编程语言马萨诸塞州剑桥:麻省理工学院出版社。 [45] Van Hentenryck,P.(2005)。基于约束的局部搜索马萨诸塞州剑桥:麻省理工学院出版社·Zbl 1102.68460号 [46] Van Hentenryck,P.和Michel,L.(2005)。混合搜索的非确定性控制。在第二届人工智能和OR技术在组合优化问题约束规划中的集成国际会议论文集(CP-AI-OR'04)布拉格·Zbl 1133.68438号 [47] Van Hentenryck,P.和Michel,L.(2009年)。基于约束的局部搜索马萨诸塞州剑桥:麻省理工学院出版社·Zbl 1179.68141号 [48] Van Hentenryck,P.、Michel,L.和Deville,Y.(1997年)。Numerica:一种用于全局优化的建模语言马萨诸塞州剑桥:麻省理工学院出版社。 [49] Van Hentenryck,P.、Saraswat,V.和Deville,Y.(1995)。约束语言cc(FD)的设计、实现和评估。在约束编程:基础和趋势Springer Verlag公司·Zbl 0920.68026号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。