TY - GEN
T1 - The G12 project
T2 - 11th International Conference on Principles and Practice of Constraint Programming - CP 2005
AU - Stuckey, Peter J.
AU - De La Banda, Maria Garcia
AU - Maher, Michael
AU - Marriott, Kim
AU - Slaney, John
AU - Somogyi, Zoltan
AU - Wallace, Mark
AU - Walsh, Toby
PY - 2005
Y1 - 2005
N2 - 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 strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridimble solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far.
AB - 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 strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridimble solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far.
UR - http://www.scopus.com/inward/record.url?scp=33646187946&partnerID=8YFLogxK
U2 - 10.1007/11564751_4
DO - 10.1007/11564751_4
M3 - Conference contribution
SN - 3540292381
SN - 9783540292388
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 13
EP - 16
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Y2 - 1 October 2005 through 5 October 2005
ER -