The G12 project: mapping solver independent models to efficient solutions
The G12 project recently started by National IGT Australia (NICTA) is an ambitious project to develop a software platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc models to underlying solvers and/or search...[Show more]
|Collections||ANU Research Publications|
|Source:||Proceedings of International Conference on Principles and Practice of Constraint Programming (CP 2005)|
|01_Stuckey_The_G12_project:_mapping_2005.pdf||244.04 kB||Adobe PDF||Request a copy|
|02_Stuckey_The_G12_project:_mapping_2005.pdf||108.13 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.