×

兹马思-数学第一资源

用于约束编程的微内核体系结构。(英语) Zbl 1390.90520号
小结:本文提出了一个微核约束编程的体系结构围绕着少量的核心功能和最少的接口进行组织。这种体系结构与许多实现的单片性质形成鲜明对比。在这种设计中,变量、域和约束都保持在微内核之外,微内核将传播逻辑和事件协议与建模结构隔离开来。这个目标CPsearch以完全透明和完全组合的方式将宿主语言的控制原语与搜索组合符混合在一起,提供了一个自然的搜索过程,在这个过程中可以使用本机构造和工具(如调试器)。实证结果表明,软件工程效益与运行效率并不矛盾。

理学硕士:
90立方厘米 非线性规划
90-04年 有关运筹学和数学规划问题的软件、源代码等
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿贡,A;Beldiceanu,N,芯片编译器概述,(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] Boussmart,F.,Hemery,F.和Lecoutre,C.(2004年)。约束满足问题的修正排序启发式算法。第一届国际研讨会:约束传播与实施. ·Zbl 1152.68543
[5] Colmerauer,A,《序言III导论》,ACM通讯,28412-418,(1990)
[6] Dincbas,M.,Van Hentenryck,P.,Simonis,H.,Aggoun,A.,Graf,T.和Berthier,F.(1988年)。约束逻辑编程语言芯片。第五代计算机系统国际会议论文集. 东京。
[7] Dincbas,M.,Van Hentenryck,P.,Simonis,H.,Aggoun,A.,Graf,T.和Berthier,F.(1988年)。约束逻辑编程语言芯片。第五代计算机系统国际会议论文集. 东京。
[八] 厄运,G;亨登里克,P;Michel,L.基于约束的局部搜索的模型驱动可视化,约束,14294-324,(2009)·Zbl 1179.68141
[9] Fontaine,D.,Michel,L.和Van Hentenryck,P.(2013年)。混合优化的模型组合子。在舒尔特,C.(编辑),第19届约束规划原则与实践国际会议论文集(第8124卷,第299-314页)。斯普林格柏林海德堡。
[10] Fontaine,D.和Michel,L.(2012年)。一种高级语言,用于求解器无关的模型操作和混合求解器的操作。在贝尔迪切努,N.,朱森,N.和品森,E.(编辑),计算机科学讲义第7298卷(第180-194页)。斯普林格。
[11] Gamma,E.,Helm,R.,Johnson,R.和John,V.(1994年)。设计模式:可重用面向对象软件的元素,第1版。Addison Wesley专业版。
[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年)。中约束传播的监视文本仆从. 在本哈莫,F.(编辑),约束程序设计的原理与实践-cp2006,计算机科学课堂讲稿第4204卷(第182-197页)。斯普林格柏林海德堡。
[14] 《C语言回溯编程的一个简单工具》,软件实践实验,25905-934,(1995)
[15] Hentenryck,P.V.和Michel,L.(2013年)。目标CP优化系统。在舒尔特,C.(编辑),约束编程的原理和实践-第19届国际会议,CP 2013,瑞典乌普萨拉,9月16-20日会议记录,计算机科学课堂讲稿8124卷(第8-29页)。斯普林格。
[16] 胡克,J.N.(2000年)。基于逻辑的优化方法:结合优化和约束满足. 威利·Zbl 0974.90001
[17] IBM公司。Ilog音乐会技术。http://eaton.math.rpi.edu/cplex90html/refconcert/index.html。
[18] Ilog解算器4.4(1998)。参考手册。Ilog SA,Gentilly,法国。
[19] 贾法尔,J;米查洛夫S;斯塔基,PJ;Yap,R,CLP(R)语言与系统,ACM编程语言与系统汇刊,14339-395,(1992)
[20] Jussien,N.,Rochart,G.和Lorca,X.(2008年)。Choco约束编程求解器。CPAIOR'08整型和约束编程开源软件研讨会(osicp'08)。骨化.
[21] Kuchcinski,K.和Szymanek,R.(2012年)。Jacop图书馆用户指南技术报告。
[22] 卡瑟夫和拉伯蒂(Caseau,1998年)。SALSA:一种搜索算法语言。第四届约束规划原则与实践国际会议(CP'98). 意大利·Zbl 1020.68028
[23] Lagerkvist,M.Z.和Schulte,C.(2009年)。传播子组。In Gent,I.P.(编辑),计算机科学讲义5732卷(第524-538页)。斯普林格。
[24] Michel,L.,See,A.和Van Hentenryck,P.(2006年)。C++中的高级非确定性抽象。第十二届约束规划原则与实践国际会议。(CP'06),计算机科学课堂讲稿. 南特。
[25] 米歇尔,L;见,A;Van Hentenryck,P,约束编程的透明并行化,通知计算杂志,21363-382,(2009)·Zbl 1243.90008号
[26] Michel,L.和Van Hentenryck,P.(2013年)。约束编程的域视图。TRICS13:实现约束编程系统的技术.
[27] 米歇尔,L;见,A;Hentenryck,PV,彗星并行和分布式局部搜索,计算机与运筹学,362357-2375,(2009)·Zbl 1179.90288号
[28] Michel,L.和Hentenryck,P.V.(2012年)。基于活动的黑盒约束编程求解器搜索。在贝尔迪切努,N.,朱森,N.和宾森,R.(编辑),组合优化问题约束规划中人工智能与或或技术的整合,计算机科学讲义7298卷(第228-243页)。斯普林格柏林海德堡。
[29] 莫斯凯维奇,MW;麦迪根,CF;赵,Y;张,L;Chaff,SM,《高效sat解算器工程》,530-535,(2001),纽约
[30] Nethercote,N.,Stuckey,P.J.,Becket,R.,Brand,S.,Duck,G.J.和Tack,G.(2007年)。Minizinc:一种标准的cp建模语言。第十三届约束规划原则与实践国际会议论文集(第529-543页)。斯普林格。
[31] Prud'homme,C.,Fages,J.-G.和Lorca,X.(2014年)。Choco3文件。TASC、INRIA Rennes、LINA CNRS UMR 6241、科斯林股份有限公司。
[32] Prud'homme,C.,Lorca,X.,Douence,R.和Jussien,N.(2013年)。使用dsl的传播引擎原型。COSpeL:组合优化中领域特定语言的第一次研讨会.
[33] 雷法洛,P.(2000年)。约束规划模型和混合求解器的线性化。第六届约束规划原则与实践国际会议(CP'00)(第369-383页)。新加坡·Zbl 1044.68792
[34] 雷法洛,P.(2004年)。基于影响的约束规划搜索策略。在华莱士,M.(编辑),计算机科学讲义3258卷(第557-571页)。斯普林格·Zbl 1152.68577
[35] Schrijvers,T;粘性,G;维尔,P;萨穆洛维茨,H;Stuckey,PJ,《搜索组合,约束》,18269-305,(2013)·Zbl 1309.90090
[36] Schulte,C.,Tack,G.和Lagerkvist,M.(2009年)。通用约束开发环境。
[37] 舒尔特,C;Stuckey,PJ,高效约束传播引擎,编程语言与系统的ACM交易,31,2:1-2:43,(2008)
[38] Schulte,C.和Tack,G.(2010年)。实现有效的传播控制。第三届TRICS编程技术研讨会.
[39] 舒尔特,C;Tack,G,基于视图的传播算子推导,约束,18,75-107,(2013)·Zbl 1328.68202号
[40] 斯莫尔卡,G.(1995年)。Oz编程模型。在Leeuwen,J.V.(编辑),今日计算机科学(第1000期,第324-343页). LNCS,斯普林格·韦拉格。
[41] Van Hentenryck,P.(1989年)。逻辑程序设计中的约束满足。剑桥:逻辑编程系列,麻省理工学院出版社。
[42] Van Hentenryck,P.(1989年)。逻辑程序设计中的并行约束满足:Peppys芯片的初步结果。第六届逻辑程序设计国际会议. 里斯本。
[43] Van Hentenryck,P.(1991年)。CLP语言芯片:约束求解与应用。康普康-91. 旧金山。
[44] Van Hentenryck,P.(1999年)。OPL优化编程语言. 马萨诸塞州剑桥:麻省理工学院出版社。
[45] Van Hentenryck,P.(2005年)。基于约束的局部搜索. 马萨诸塞州剑桥:麻省理工学院出版社·Zbl 1102.68460
[46] Van Hentenryck,P.和Michel,L.(2005年)。混合搜索的非确定性控制。第二届组合优化问题约束规划中人工智能和/或技术集成国际会议论文集(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)的设计、实现和评估。约束编程:基础与趋势. 斯普林格·维拉格·Zbl 0920.68026
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。