微量锌 swMATH ID: 6261 软件作者: 吉多·塔克(Guido Tack),NICTA/莫纳什大学(与塞巴斯蒂安·布兰德(Sebastian Brand)、马克·布朗(Mark Brown)、蒂鲍特·费迪(Thibaut Feydy)、朱利安·菲舍尔(Julien Fischer)、玛丽亚·加西亚·德拉班达(Maria Garcia de la Banda)、 描述: MiniZin是一种中等级别的约束建模语言。它的级别足够高,可以轻松地表达大多数约束问题,但级别足够低,可以轻松一致地映射到现有的解算器上。它是高级语言锌的子集。我们希望它能被约束编程社区采纳为标准。 主页: http://www.minizinc.org/ 相关软件: Gecode公司;CHUFFED公司;CPLEX公司;本质;SCIP公司;github;糠;超小卫星;z3(零3);CSPLib数据库;古罗比;萨特齐拉;锌;OR-醇;迷你们;彗星;ILOG时间表;Yices公司;炸薯条;阳光 引用于: 130文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 带字符串的迷你锌。 Zbl 1485.68027号罗伯托·阿马迪尼;皮埃尔·弗莱纳;贾斯汀·皮尔逊;约瑟夫·斯科特。;彼得·斯图基(Peter J.Stuckey)。;塔克,吉多 2017 迷你锌挑战的哲学。 Zbl 1208.68207号彼得·斯图基(Peter J.Stuckey)。;拉尔夫·贝克特;朱利安·菲舍尔 2010 全部的 前5名305位作者引用 25 彼得·詹姆斯·斯塔基 11 塔克,吉多 6 罗伯托·阿马迪尼 6 皮埃尔·弗莱纳 6 格雷姆·恒河 5 卡尔森,Mats 5 杰弗里·楚 5 玛丽亚·加西亚·德拉班达 4 伊恩·米格尔 4 尼斯雷特·穆斯利乌 4 贾斯汀·皮尔逊 4 马克·华莱士。 三 阿坤、奥祖尔 三 古斯塔夫·比约达尔 三 米克尔波菲尔 三 Jip J.德克尔。 三 纪尧姆·埃斯卡莫彻 三 毛里齐奥·加布里埃利 三 克里斯托弗·杰斐逊 三 爱德华·兰姆 三 雅各布·毛罗 三 克里斯托弗·米尔斯 三 Minier,海军 三 约阿希姆·尼伦 三 安德烈亚·谢尔夫 三 安德烈亚斯·舒特 三 克莉丝汀·索尔农 三 约塞普·苏伊 三 维拉雷特,马特乌 2 弗朗西斯科·卡利默里 2 萨拉·塞西娅 2 克里斯蒂亚,马克西米利亚诺 2 切赫,阿格内斯 2 吕克·德·雷德 2 卢卡·迪·加斯佩罗 2 阿戈斯蒂诺·多维尔 2 艾伦·M·弗里希。 2 马丁·格布瑟 2 伊恩·菲利普·根特 2 大卫·盖罗 2 枪,蒂亚斯 2 约翰·胡克(John N.jun Hooker)。 2 霍尔格·H·胡斯。 2 彼得·杰文斯(Peter G.Jeavons)。 2 拉尔斯·科特霍夫 2 斯特凡·克雷特 2 利奥,凯文 2 马吕斯·林道尔 2 金·万豪酒店 2 弗洛里安·米切克 2 珍妮·诺埃尔·莫内特 2 Peter W.南丁格尔。 2 齐格弗里德·尼杰森 2 巴里·奥沙利文 2 米克尔帕拉西 2 路易斯·奎萨达。 2 吉安弗兰科·罗西 2 洛伊奇·鲁奎特 2 霍斯特·萨穆洛维茨 2 亚历山大·希恩多夫 2 汤姆·施里杰弗斯 2 克里斯蒂安·舒尔特 2 约瑟夫·斯科特。 2 帕特里克·斯普拉克伦 2 斯特里赫曼(Ofer Strichman) 2 凯文·蒂尔尼 2 帕斯卡·范·亨滕里克 2 迈克尔·维克斯勒 2 克里斯蒂安·维萨里 2 皮特·威勒 1 萨尔瓦多阿布雷乌 1 乌特库·乌穆尔·阿奇卡林 1 艾米丽·阿勒特 1 阿洛奇,大卫 1 玛丽·阿纳斯塔西奥 1 杰里特·安德斯 1 卡洛斯·安索特吉 1 戴维·阿梅里尼 1 马库斯·阿斯辛格 1 贝鲁兹·巴巴基 1 佩德罗·巴拉奥纳 1 米歇尔·巴蒂斯特塔 1 J.克里斯托弗·贝克 1 特里斯坦·贝克尔 1 拉尔夫·贝克特 1 格列布·贝洛夫 1 本哈穆,贝莱德 1 西德汉·巴夫纳尼 1 亨德里克·比尔莱 1 碧劳卡、米海 1 伯恩德·比施尔 1 曼纽尔·博迪尔斯基 1 内博伊沙·博约维奇。 1 丹尼尔·博拉乔 1 保罗·博尔佐内 1 布林,雅库布 1 约瑟夫·伯格勒 1 佛罗伦萨卡佩利 1 布格拉·卡斯库鲁 1 乔瓦尼·西亚托 …还有205位作者 全部的 前5名24篇连载文章中引用 33 约束条件 14 人工智能 6 逻辑程序设计理论与实践 5 理论计算机科学 5 欧洲运筹学杂志 三 自动推理杂志 三 运筹学年鉴 三 人工智能研究杂志 三 信息计算杂志 2 计算机与运筹学 2 运筹学国际交易 2 计算机科学中的逻辑方法 2 数学规划计算 2 SN运营研究论坛 1 美国数学月刊 1 离散应用数学 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 算法 1 控制论与系统分析 1 数学与人工智能年鉴 1 调度日志 1 ACM计算逻辑汇刊 1 数学密码学杂志 1 欧洲计算优化杂志 全部的 前5名在15个字段中引用 76 计算机科学(68至XX) 70 运筹学、数学规划(90-XX) 9 组合数学(05-XX) 6 信息和通信理论,电路(94-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 生物学和其他自然科学(92-XX) 三 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 交换代数(13-XX) 1 群论与推广(20-XX) 1 变分法与最优控制;最优化(49至XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 按年份列出的引文