CSPLib公司 swMATH编号： 4150 软件作者： Ian P.Gent、Toby Walsh、Ian Miguel 描述： CSPLib是一个用于约束求解器的测试问题库。图书馆包括：按主题领域和问题编号组织的问题提交新问题的指南关于图书馆（postscript或html）及其bibtex参考的论文（也可从APES技术报告页面获得）相关基准库列表链接到约束解算器图书馆的变化史库2.1版（和2.0版）的tar文件CSPLib的主要动机是将研究重点从纯粹的随机问题转向更结构化的问题。 主页： 网址：http://www.csplib.org/ 关键词： 约束问题库 相关软件： 迷你锌;CPLEX公司;Gecode公司;彗星;迷你们;乔科;本质;糠;OPL公司;ILOG时间表;ManySAT公司;徒步旅行;EasyLocal公司++;糖;水獭;超小卫星;DIMACS公司;SICStus公司;sunny-cp公司;萨特齐拉 引用于： 90文件 全部的 前5名177位作者引用 10 托比·沃尔什 6 Lee、Jimmy Ho-man 5 伊恩·米格尔 5 Peter W.南丁格尔。 4 玛丽亚·加西亚·德拉班达 4 克莉丝汀·索尔农 4 彼得·詹姆斯·斯塔基 4 马克·华莱士。 4 罗伊·齐万 3 阿坤、奥祖尔 3 克里斯蒂安·贝西尔 3 伯特兰·埃斯特隆 3 艾伦·M·弗里希。 3 弗雷德里克·加迪 3 伊恩·菲利普·根特 3 埃曼纽尔·希伯拉德 3 赫尼奇，卜拉欣 3 克里斯托弗·米尔斯 3 Amnon Meisels公司 3 卡里姆·努伊奥瓦 2 萨尔瓦多阿布雷乌 2 Artigues，克里斯蒂安 2 尼古拉斯·贝尔迪塞努 2 马可·卡多利 2 卡尔森，Mats 2 Choi，招和 2 菲利普·科多涅特 2 巴特·德梅恩 2 迪加斯佩罗，卢卡 2 丹尼尔·迪亚兹 2 克里斯蒂安·德雷舍尔 2 加涅，卡罗琳 2 Marc砾石 2 Jean-Philippe Hamiez 2 郝金高 2 克里斯托弗·杰斐逊 2 克孜尔坦、泽内普 2 法律，Yat Chiu 2 尼斯雷特·穆斯利乌 2 法比奥·帕特里齐 2 吉尔斯·佩森特 2 蒂埃里·佩蒂特 2 普莱斯，威尔逊·伦纳德 2 安德烈亚·谢尔夫 2 穆罕默德·西亚拉 2 帕特里克·斯普拉克伦 2 杰夫·萨特克利夫 2 马库斯·特里斯卡 2 帕斯卡·范·亨特利克 2 吴，May H.C。 1 阿登索·迪亚斯，贝尔拉米诺 1 哈泰姆·阿赫里兹 1 帕特里克·阿尔伯特 1 罗伯托·阿马迪尼 1 弗朗西斯科·阿泽夫多 1 佩德罗·巴拉奥纳 1 尼古拉斯·巴尼尔 1 约阿奎因·包蒂斯塔 1 贝莱德·本哈莫 1 蒂埃里·贝诺伊斯特 1 帕斯卡·布里塞特 1 伊斯梅尔·布里托 1 Kenneth N.Brown。 1 伊夫·卡尼奥 1 萨拉·塞西娅 1 Cheng，Chi Kan先生 1 马可·奇亚兰迪尼 1 大卫·A·科恩。 1 马可·科雷亚 1 伊夫·克拉玛 1 克劳福德，布罗德里克 1 Cung，Van-Dat公司 1 多米尼克·德韦拉 1 罗穆拉德·德布鲁恩 1 迪亚斯·伊巴拉（Díaz-Ibara），奥斯卡·H·。 1 安东尼·多吉特。 1 伊万·多图 1 雷米·杜伦斯 1 米雷尔·杜卡斯 1 伊金，塔纳 1 苏塞因·埃尔金 1 Ernst，Andreas T。 1 弗朗索瓦·法格斯 1 皮埃尔·弗莱纳 1 毛里齐奥·加布里埃利 1 A.盖诺兹。 1 米尔科·吉兰 1 弗雷德·格洛弗（Fred W.Glover）。 1 Jens Gottlieb 1 阿隆·格鲁布什滕 1 斯特凡诺·瓜兰迪 1 伊恩·霍洛克斯 1 Marie-JoséHuguet 1 彼得·杰文斯（Peter G.Jeavons）。 1 纳伦德拉·尤西恩 1 乔治·卡特西雷洛斯 1 麦迪吉德·科坎（Khichane，Madjid） 1 金京珠 1 弗里德里克·科里奇 1 菲利普·拉博里 …还有77位作者 全部的 前5名22篇连载文章中引用 21 约束条件 10 人工智能 9 欧洲运筹学杂志 5 运筹学年鉴 4 自动推理杂志 2 离散应用数学 2 AI通信 2 信息计算杂志 2 逻辑程序设计理论与实践 1 运筹学学会杂志 1 运营研究信件 1 计算机与运筹学 1 人工智能研究杂志 1 数学与人工智能年鉴 1 启发式杂志 1 IGPL逻辑杂志 1 调度日志 1 燃烧理论与模型 1 RAIRO公司。运筹学 1 ACM计算逻辑事务 1 4个或 1 欧洲计算优化杂志 全部的 前5名在8个字段中引用 52 计算机科学（68至XX） 50 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 1 历史和传记（01-XX） 1 数学逻辑和基础（03-XX） 1 常微分方程（34-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文