彼得·斯图基（Peter J.Stuckey）。;玛丽亚·加西亚·德拉班达;迈克尔·马赫;金·万豪酒店;约翰·斯莱尼;佐尔坦·索莫吉;马克·华莱士;托比·沃尔什 G12项目：将独立于求解器的模型映射到高效的解决方案。 （英语） Zbl 1165.68517号 Gabbrielli，Maurizio（编辑）等人，《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议，ICLP 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29208-X/pbk）。计算机科学课堂讲稿3668，9-13（2005）。 摘要：澳大利亚国家信息通信技术协会（NICTA）最近启动的G12项目是一个雄心勃勃的项目，旨在开发一个用于解决大规模工业组合优化问题的软件平台。核心设计涉及三种语言：锌、镉和汞（元素周期表第12组）。锌是一种用于表达问题的声明性建模语言，与任何解决方法无关。镉是一种映射语言，用于将锌模型映射到基础解算器和/或搜索策略，包括混合方法。最后，现有的Mercury将被扩展为构建可扩展和混合求解器的语言。同一个锌模型，用于不同的镉映射，将允许我们对同一个问题使用不同的完整、局部或混合搜索方法。这次演讲将解释G12的全球设计、G12的最终目标以及我们迄今为止的进展。关于整个系列，请参见[Zbl 1086.68004号]. 引用于8文件 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90立方厘米27 组合优化 软件：锌;十二国集团 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Stuckey}等人，Lect。注释计算。科学。3668，9-13（2005；Zbl 1165.68517） 全文： DOI程序