×

迷你锌

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公司；本质；科幻小说；github；糠；超小卫星；z3（零3）；CSPLib数据库；古罗比；萨特齐拉；锌；OR-醇；迷你们；彗星；Yices公司；炸薯条；ILOG时间表；阳光
引用于： 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 马克·华莱士。
三 Özgür阿贡
三 古斯塔夫·比约达尔
三 米克尔波菲尔
三 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）

按年份列出的引文