×
托尼·曼奇尼；大卫·米卡莱托；法比奥·帕特里齐；马可·卡多利

在CSPLib上评估ASP和商业解决方案。 （英语） Zbl 1179.90287号

约束条件 13，第4期，407-436（2008）.
小结：本文讨论了四种组合问题的求解器：最先进的商用求解器ILOG oplstudio，以及研究答案集编程（ASP）系统dlv、smodels和cmodels。本研究的第一个目标是使用一种可复制和可扩展的实验方法，以纯粹的声明方式评估此类系统的相对性能。特别是，我们考虑了第三方问题库，即CSPLib，以及建模和实例选择的统一规则。第二个目标是分析流行的重新格式化技术对各种解决技术的边际影响。特别是，我们考虑了结构对称性的破坏、全局约束的采用以及辅助谓词的添加。最后，我们在问题的子集上评估了数字和算术约束对不同求解技术的影响。结果表明，并非只有一个解算器能解决所有问题，而且重新计算几乎总是有益的：对称破缺可能是一个不错的选择，但其复杂性必须仔细选择，还要考虑使用的特定解算器。全局约束通常（但并不总是）有助于opl，添加辅助谓词通常是值得的，尤其是在处理ASP解算器时。此外，各种建模技术之间存在有趣的协同作用。

引用于5文件

MSC公司：

90C27型 组合优化

关键词：

声明性约束建模；约束编程；问题改写；求解者之间的实验评价；答案集编程；OPL公司

软件：

CSPLib数据库；亚萨特；AMPL公司；CPLEX公司；C模型；欧兹
PDF格式BibTeX公司 XML格式引用
\textit{T.Mancini}等人，《约束13》，第4期，407--436（2008；Zbl 1179.90287）
全文： 内政部

参考文献：

[1] Bosch，R.和Trick，M.（2002年）。三种寿命设计的约束编程和混合公式。在第四届关于组合优化问题约束规划中AI和OR技术集成的国际研讨会论文集（CPAIOR 2002）（第77-91页）。Le Croisic·Zbl 1156.90471号
[2] 卡多利，M。；Mancini，T.，通过约束的安全延迟自动重新制定规范，人工智能，170，8-9，779-801（2006）·Zbl 1131.68096号 ·doi:10.1016/j.artint.2006.01.008
[3] 卡多利，M。；Mancini，T.，《使用定理证明器对约束问题进行推理》，应用人工智能，21，4-5，383-404（2007）
[4] Cadoli，M.、Mancini，T.、Micaletto，D.和Patrizi，F.（2006）。在CSPLib上评估ASP和商业解决方案。第十七届欧洲人工智能会议记录（ECAI 2006）（第68-72页）。IOS出版社·兹比尔1179.90287
[5] Cadoli，M.、Mancini，T.和Patrizi，F.（2006）。SAT作为一种有效的约束问题求解技术。第十六届智能系统方法学国际研讨会论文集（ISMIS 2006）。计算机科学课堂讲稿（第4203卷，第540-549页）。意大利巴里：斯普林格。
[6] 卡多利，M。；Schaerf，A.，将问题规范编译成SAT，人工智能，162，89-120（2005）·Zbl 1132.68693号 ·doi:10.1016/j.artint.2004.01.006
[7] Castillo，E.、Conejo，A.J.、Pedregal，P.、Garca，R.和Alguacil，N.（2001年）。建立和求解工程和科学中的数学规划模型。约翰·威利父子公司·Zbl 1029.90001号
[8] Cheng，B.M.W。；Choi，K.M.F。；Lee，J.H.-M。；Wu，J.C.K.，通过冗余建模增加约束传播：经验报告，约束，4，2167-192（1999）·Zbl 0949.68605号 ·doi:10.1023/A:1009894810205
[9] Crawford，J.M.、Ginsberg，M.L.、Luks，E.M.和Roy，A.（1996）。搜索问题的对称破坏谓词。第五届知识表示和推理原则国际会议论文集（KR’96）（第148-159页）。摩根·考夫曼。
[10] Dewdney，A.K.，《游戏生活在三维空间中获得了一些继承者》，《美国科学》，224，2，112-118（1987）·doi:10.1038/科学美国人0987-112
[11] Dovier，A.、Formisano，A.和Pontelli，E.（2005）。比较CLP（FD）和ASP解决NP完全问题的方法。第二十一届逻辑编程国际会议论文集（ICLP 2005）。《计算机科学讲义》（第3668卷，第67-82页）。斯普林格·Zbl 1165.68486号
[12] Ellman，T.（1993）。通过近似对称进行抽象。第十三届国际人工智能联合会议记录（IJCAI'93）（第916-921页）。摩根·考夫曼。
[13] 费尔南德斯，A.J。；Hill，P.M.，《布尔域和有限域上八种约束编程语言的比较研究》，约束，5，3，275-301（2000）·Zbl 0954.68031号 ·doi:10.1023/A:1009816801567
[14] 芬克尔，R.A。；马雷克，V.W。；Truszczynski，M.，《约束Lingo:走向高级约束编程》，《软件实践与经验》，34，15，1481-1504（2004）·doi:10.1002/spe.623
[15] Flener，P.、Frisch，A.、Hnich，B.、Kiziltan，Z.、Miguel，I.、Pearson，J.等人（2002年）。打破矩阵模型中的行和列对称性。第八届约束规划原则与实践国际会议论文集（CP 2002）。计算机科学课堂讲稿（第2470卷，第462页）。斯普林格。
[16] Fourer，R.、Gay，D.M.和Kernigham，B.W.（1993年）。AMPL：数学编程的建模语言。国际汤姆森出版公司。
[17] 弗洛伊德·E.C.和萨宾·D（1997）。可互换性支持抽象和重新制定多维约束满足。《第十四届全国人工智能会议论文集》（AAAI'97）（第191-196页）。AAAI出版社/麻省理工学院出版社。
[18] Giunchiglia，F。；Walsh，T.，抽象理论，人工智能，57323-389（1992）·Zbl 0762.68054号 ·doi:10.1016/0004-3702（92）90021-O
[19] Gu，J.、Purdom，P.、Franco，J.和Wah，B.（1997）。可满足性（SAT）问题的算法：综述。《可满足性问题：理论与应用》，DIMACS系列《离散数学与理论计算机科学》（第19-152页）。美国数学学会·Zbl 0945.03040号
[20] 塞拉利昂，北卡罗来纳州。；Pfeifer，G。；Faber，W。；艾特，T。；Gottlob，G。；Perri，S.，《用于知识表示和推理的DLV系统》，ACM计算逻辑事务，7，3，499-562（2006）·Zbl 1367.68308号 ·doi:10.145/1149114.1149117
[21] Lierler，Y.和Maratea，M.（2004年）。Cmodels-2：基于SAT的答案集求解器增强为非轻型程序。V.Lifschitz&I.Niemelä（编辑），第七届国际编程逻辑和非单调推理会议论文集（LPNMR 2004）。计算机科学课堂讲稿（第2923卷，第346-350页）。劳德代尔堡，佛罗里达州，美国：斯普林格·Zbl 1122.68377号
[22] 林，F。；Z.Yuting，ASSAT:SAT解析器计算逻辑程序的答案集，人工智能，157，1-2，115-137（2004）·Zbl 1085.68544号 ·doi:10.1016/j.artint.2004.04.004
[23] Mancini，T.和Cadoli，M.（2005）。通过对问题规范的推理来检测和打破对称性。第六届抽象、重新计算和近似国际研讨会论文集（SARA 2005）。人工智能课堂讲稿（第3607卷，第165-181页）。斯普林格。
[24] Mancini，T。；Cadoli，M.，《利用声明性问题规范中的函数依赖性》，《人工智能》，171985-1010（2007）·兹比尔1168.68552 ·doi:10.1016/j.artint.2007.04.017
[25] Neumaier，A。；俄亥俄州谢尔比纳。；Huyer，W。；Vinkó，T.，《完全全局优化求解器的比较》，《数学规划》，103，2，335-356（2005）·Zbl 1099.90001号 ·doi:10.1007/s10107-005-0585-4
[26] Niemelä，I.，《以稳定模型语义作为约束编程范式的逻辑程序》，《数学与人工智能年鉴》，25，3-4，241-273（1999）·Zbl 0940.68018号 ·doi:10.1023/A:1018930122475
[27] Pelov，N.、De Mot，E.和Denecker，M.（2000）。表示和解决约束满足问题的逻辑编程方法：比较。M.Parigot和A.Voronkov（编辑），第七届编程逻辑和自动推理国际会议论文集（LPAR 2000）。《计算机科学讲义》（第1955卷，第225-239页）。斯普林格·Zbl 0988.68522号
[28] Puget，J.-F.（1993年）。对称约束满足问题的可满足性。H.J.Komorowski和Z.W.Ras（编辑），第七届智能系统方法学国际研讨会论文集（ISMIS’93）。计算机科学课堂讲稿（第689卷，第350-361页）。斯普林格。
[29] Ramani，A.、Aloul，F.A.、Markov，I.L.和Sakallak，K.A.（2004）。在精确图着色中打破实例依赖对称。欧洲设计自动化和测试会议论文集（日期2004）（第324-331页）。IEEE计算机学会出版社。
[30] Régin，J.-C.（2003）。全局约束和过滤算法。在M.Milano（Ed.）《约束和整数编程——走向统一方法》中，运筹学/计算机科学接口，第27卷，第4章。Kluwer学术出版社。
[31] Shcherbina，O.、Neumaier，A.、Sam-Haroud，D.、Vu，X.-H.和Nguyen，T.-V.（2003）。对全局优化和约束满足代码进行基准测试。在全球约束优化和约束满足第一次国际研讨会的会议记录中（COCOS 2002）。计算机科学课堂讲稿（第2861卷，第211-222页）。斯普林格·兹比尔1296.90004
[32] Smith，B.M.（2002）。“生活”中一个问题的对偶图翻译。第八届约束规划原则与实践国际会议论文集（CP 2002）。计算机科学课堂讲稿（第2470卷，第402-414页）。斯普林格。
[33] Smith，B.M.、Stergiou，K.和Walsh，T.（2000）。使用辅助变量和隐含约束来建模非二进制问题。第十七届全国人工智能会议论文集（AAAI 2000）（第182-187页）。AAAI出版社/麻省理工学院出版社。
[34] Smolka，G.（1995）。Oz编程模型。《今日计算机科学：最新趋势和发展》。计算机科学课堂讲稿（第1000卷，第324-343页）。斯普林格·邮编：0875.00060
[35] Ullman，J.D.（1988）。数据库和知识库系统原理，第1卷。计算机科学出版社。
[36] Van Hentenryck，P.（1999）。OPL优化编程语言。麻省理工学院出版社。
[37] 华莱士，M。；辛普夫，J。；沈，K。；Harvey，W.，《关于约束逻辑编程平台的基准测试》。对Fernández和Hill“布尔域和有限域上八种约束编程语言的比较研究”的回应，约束，9，1，5-34（2004）·Zbl 1069.68034号 ·doi:10.1023/B:CONS.0000006181.40558.37
[38] Walsh，T.（2001）。排列问题和通道约束。R.Nieuwenhuis&A，Voronkov（Eds.），第八届编程和自动推理逻辑国际会议论文集（LPAR 2001）。计算机科学课堂讲稿（第2250卷，第377-391页）。斯普林格·Zbl 1273.68365号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。