米歇尔,L。;Schaus,P。;Van Hentenryck,P。 MiniCP:用于约束编程的轻量级解算器。 (英语) Zbl 1480.90231号 数学。程序。计算。 13,编号1,133-184(2021). 摘要:本文介绍了MiniCP,一种用于约束编程的轻量级开源求解器。MiniCP出于教育目的,并希望为计算机科学和工业工程专业的学生提供约束编程求解器的核心实现。MiniCP的设计提供了理论和实现概念之间的一对一映射,其组合抽象有利于扩展性和灵活性。MiniCP显然不支持所有可用的约束编程特性和实现技术,但这些可以作为未来的扩展或探索性项目来实现。MiniCP还提供了一整套练习、单元测试和开发项目。 引用于5文件 MSC公司: 90立方 非线性规划 关键词:开源求解器 软件:CPLEX公司;日本石油公司;乔科;ILOG时间表;OR-醇;CP优化器;米斯特拉尔;彗星;立方厘米(FD);奥斯卡;微型CP PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}等人,数学。程序。计算。13,编号1,133--184(2021;Zbl 1480.90231) 全文: 内政部 参考文献: [1] Colmerauer,A.,Prolog III简介,Commun。ACM,28,4,412-418(1990) [2] Jaffar,J.,Lassez,J.L.:约束逻辑编程。地址:POPL-87,德国慕尼黑(1987) [3] Van Hentenryck,P.,《逻辑编程中的约束满足》(1989),剑桥:麻省理工学院出版社,剑桥 [4] Laborie,P.、Rogerie,J.、Shaw,P.和Vili m,P.:IBM ILOG CP调度优化器。约束,第1-41页(2018年)·Zbl 1400.90169号 [5] Van Hentenryck,P。;萨拉斯瓦特,V。;Deville,Y.,约束语言cc(FD)的设计、实现和评估,J.Log。程序。,37, 1, 139-164 (1998) ·Zbl 0920.68026号 ·doi:10.1016/S0743-1066(98)10006-7 [6] Dynadec,Van Hentenryck,P.,Michel,L.,Schaus,P.:彗星v2。1本用户手册(2009年) [7] Hentenryck,PV;Michel,L.,《基于约束的本地搜索》(2009),剑桥:麻省理工学院出版社,剑桥·Zbl 1179.68141号 [8] Van Hentenryck,P.,Michel,L.:目标cp优化系统。摘自:约束编程原理与实践国际会议,第8-29页。柏林施普林格出版社(2013) [9] OscaR团队:OscaR:Scala in OR(2012)。https://bitbucket.org/oscarlib/oscar [10] Michel,L.,Van Hentenryck,P.:约束编程的微内核架构。限制,第1-45页(2014年)·Zbl 1390.90520号 [11] van Omme,N.,Perron,L.,Furnon,V.:Or-tools用户手册。技术报告,谷歌(2014) [12] Kuchcinski,K.,Szymanek,R.:Jacop-java约束编程求解器。收录:《CP求解程序:建模、应用、集成和标准化》(2013) [13] Hebrard,E.:Mistral,约束满足库。摘自:《第三届国际CSP Solver竞赛论文集》,第3卷,第3页(2008年) [14] Prud’homme,C.,Fages,J.G.,Lorca,X.:Choco4文档。收录:TASC、INRIA Rennes、LINA CNRS UMR,第6241卷(2014年) [15] Aggoun,A.,Beldiceanu,N.:CHIP编译器概述。在:第八届逻辑程序设计国际会议(ICLP-91)上。麻省理工学院出版社,法国巴黎(1991) [16] Schulte,C.,Carlsson,M.:有限域约束编程系统。In:《约束编程手册》,第493页(2006) [17] Mackworth,A.,《关系网络的一致性》,Artif。智力。,8, 1, 99-118 (1977) ·Zbl 0341.68061号 ·doi:10.1016/0004-3702(77)90007-8 [18] 伽玛,E。;赫尔姆·R。;约翰逊,R。;Vlissides,J.,《设计模式:可重用面向对象软件的元素》(1995),波士顿:Addison-Wesley Longman Publishing Co.,Inc.,波士顿·Zbl 0887.68013号 [19] Van Hentenryck,P.,Carillon,J.P.:一般性与特殊性:人工智能和手术室技术的经验。收录于:AAAI,第660-664页(1988年) [20] Van Hentenryck,P.,Michel,L.:约束编程的领域视图。摘自:约束编程原理与实践国际会议,第705-720页。施普林格,柏林(2014) [21] de Saint-Marcq,V.l.C.,Schaus,P.,Solnon,C.,Lecoutre,C.:域实现的稀疏集。在:CP关于实现约束编程系统的技术研讨会(TRICS),第1-10页(2013) [22] Knuth,D.E.:《计算机编程的艺术:第4B卷,组合算法:第2部分,回溯编程》,第4B册。Addison-Wesley,波士顿(2016) [23] Floyd,RW,《非确定性算法》,美国计算机学会(JACM),14,4,636-644(1967)·Zbl 0153.47006号 ·doi:10.1145/321420.321422 [24] Schulte,C.,Tack,G.:通用约束实现的视图和迭代器。摘自:《约束的最新进展》(2005年),《人工智能课堂讲稿》,第3978卷,第118-132页。柏林施普林格出版社(2006)·Zbl 1180.68103号 [25] Van Hentenryck,P.,Deville,Y.:基数运算符:一种新的逻辑连接词及其在约束逻辑编程中的应用。收录于:ICLP-91,第745-759页(1991年) [26] Beldiceanu,N.,Carlsson,M.,Rampon,J.X.:全球约束目录(a版)(2012年) [27] van Hoeve,W.J.,Katriel,I.:全球约束。收录于:《人工智能基础》,第2卷,第169-208页。Elsevier,纽约(2006) [28] 胡克,JN,《集成优化方法》(2012),柏林:施普林格出版社,柏林·Zbl 1263.90002号 ·doi:10.1007/978-1-4614-1900-6 [29] Van Hentenryck,P.,Carillon,J.P.:一般性与特殊性:人工智能和手术室技术的经验。收录:美国人工智能协会会刊(AAAI-88)。AAAI,加利福尼亚州门罗公园(明尼苏达州圣保罗)(1988年) [30] Régin,J.C.:CSP中差异约束的过滤算法。收录于:AAAI,第94卷,第362-367页(1994年) [31] W.J.van Hoeve:完全不同的约束:一项调查。arXiv预打印arXiv:cs/0105015(2001) [32] 米歇尔,L。;Van Hentenryck,P.,约束编程的微内核架构,约束,22,2,107-151(2017)·Zbl 1390.90520号 ·doi:10.1007/s10601-016-9242-1 [33] Van Hentenryck,P.,Michel,L.:目标-CP优化系统。摘自:第19届约束编程原理与实践国际会议论文集(2013) [34] 施里杰弗斯,T。;塔克,G。;Wuille,P。;萨穆洛维茨,H。;Stuckey,P.,《搜索组合器,约束》,18,2,269-305(2013)·Zbl 1309.90090号 ·doi:10.1007/s10601-012-9137-8 [35] Harvey,W.D.,Ginsberg,M.L.:有限差异搜索。在:IJCAI(1995) [36] Shaw,P.:使用约束编程和局部搜索方法解决车辆路径问题。摘自:约束编程原理与实践国际会议,第417-431页。施普林格,柏林(1998) [37] Boussemart,F.,Lecoutre,C.,Piette,C.:Xcsp3:一种用于基准组合约束问题的集成格式。arXiv预印arXiv:1611.03398(2016) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。