扁平锌 swMATH ID: 6262 软件作者: Guido Tack、Sebastian Brand、Mark Brown、Thibaut Feydy、Julien Fischer、Maria Garcia de la Banda、Peter Stuckey、Mark Wallace 描述: MiniZin是一种中等级别的约束建模语言。它的级别足够高,可以轻松地表达大多数约束问题,但级别足够低,可以轻松且一致地映射到现有解算器。它是高级语言锌的子集。我们希望它能被约束编程社区采纳为标准。FlatZin是一种低级解算器输入语言,是MiniZin的目标语言。它被设计为易于转换为解算器所需的形式。 主页: http://www.minizinc.org/ 依赖项: 迷你锌 关键词: 锌建模语言;迷你锌 相关软件: 迷你锌;Gecode公司;SCIP公司;彗星;github;简单;Yices公司;SMT-LIB公司;本质;OR-醇;奥斯卡;阳光;奥斯卡.cbls;fzn2毫米;SICStus公司;日本石油公司;z3(零3);微型搜索;本地化程序;对夹2 引用于: 9文件 全部的 前5名21位作者引用 2 罗伯托·阿马迪尼 2 米克尔波菲尔 2 皮埃尔·弗莱纳 2 贾斯汀·皮尔逊 2 马特乌斯·拉因斯基 2 彼得·詹姆斯·斯塔基 2 约塞普·苏伊 2 马图·维拉雷特 1 萨尔瓦多阿布雷乌 1 拉尔夫·贝克特 1 古斯塔夫·比约达尔 1 朱利安·菲舍尔 1 毛里齐奥·加布里埃利 1 雅各布·毛罗 1 珍妮·诺埃尔·莫内特 1 格列戈兹·奈勒帕(Grzegorz J.Nalepa)。 1 米克尔帕拉西 1 Joseph D.斯科特。 1 罗伯托·塞巴斯蒂安 1 塔克,吉多 1 帕特里克·特伦丁 3篇连载文章中引用 三 约束条件 1 自动推理杂志 1 数学与人工智能年鉴 在2个字段中引用 7 计算机科学(68-XX) 4 运筹学、数学规划(90-XX) 按年份列出的引文