十二国集团 swMATH编号： 10112 软件作者： Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；迈克尔·马赫；Kim万豪酒店；约翰·斯莱尼；佐尔坦·索莫吉；马克·华莱士；托比·沃尔什 描述： G12项目：将独立于求解器的模型映射到高效的解决方案。澳大利亚国家信息通信技术协会（NICTA）最近启动的G12项目是一个雄心勃勃的项目，旨在开发一个用于解决大规模工业组合优化问题的软件平台。核心设计涉及三种语言：锌、镉和汞（元素周期表第12组）。锌是一种用于表达问题的声明性建模语言，与任何解决方法无关。镉是一种映射语言，用于将锌模型映射到基础解算器和/或搜索策略，包括混合方法。最后，现有的Mercury将被扩展为构建可扩展和混合求解器的语言。同一个锌模型，与不同的镉映射一起使用，将使我们能够对同一问题进行不同的完全、局部或混合搜索方法的实验。本次演讲将解释G12全球设计、G12最终目标以及我们迄今为止的进展。 主页： http://link.springer.com/chapter/10.1007/11562931_3 相关软件： 迷你锌;SCIP公司;本质;ILOG时间表;炸薯条;彗星;水银;镉;锌;Gecode公司;微型搜索;迷你黄铜;采矿锌;数字插孔;图尔巴尔2;日本石油公司;乔科;CP网络;CP优化器;SIMPL公司 引用于： 10文件 标准文章 1出版物描述软件，包括1出版物以zbMATH为单位 年份 G12项目：将独立于求解器的模型映射到高效的解决方案。 Zbl 1165.68517号彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 2005 全部的 前5名23位作者引用 7 彼得·詹姆斯·斯塔基 5 马克·华莱士。 2 布兰德，塞巴斯蒂安 2 莱斯利·德·科宁克 2 格雷戈里·杜克。 2 玛丽亚·加西亚·德拉班达 2 万豪酒店，Kim 2 雅各布·普钦格 1 杰里特·安德斯 1 蒂鲍特·费迪 1 约翰·胡克（John N.jun Hooker）。 1 贾尼契奇，普雷德拉格 1 亚历山大·克纳普 1 迈克尔·马赫（Michael J.Maher）。 1 尼古拉斯·奈瑟科特 1 雷扎·拉斐 1 沃尔夫冈·雷夫 1 亚历山大·希恩多夫 1 安德烈亚斯·舒特 1 约翰·斯莱尼。 1 佐尔坦·索莫吉 1 威廉·扬·范霍夫 1 托比·沃尔什 3篇连载文章中引用 4 约束条件 1 调度日志 1 计算机科学中的逻辑方法 在2个字段中引用 6 计算机科学（68至XX） 6 运筹学、数学规划（90-XX） 按年份列出的引文