The G12 project: mapping solver independent models to efficient solutions

Peter J Stuckey; Maria Jose Garcia De La Banda; Michael Maher; Kimbal George Marriott; John Slaney; Zoltan Somogyi; Mark Wallace; Toby Walsh

doi:10.1007/11564751_4

The G12 project: mapping solver independent models to efficient solutions

Peter J Stuckey, Maria Jose Garcia De La Banda, Michael Maher, Kimbal George Marriott, John Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh

Research output: Contribution to journal › Article › Research › peer-review

13 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	13-16
Number of pages	5
Journal	Lecture Notes in Computer Science
Volume	3709
DOIs	https://doi.org/10.1007/11564751_4
Publication status	Published - 2005

Cite this

Stuckey, P. J., Garcia De La Banda, M. J., Maher, M., Marriott, K. G., Slaney, J., Somogyi, Z., Wallace, M., & Walsh, T. (2005). The G12 project: mapping solver independent models to efficient solutions. Lecture Notes in Computer Science, 3709, 13-16. https://doi.org/10.1007/11564751_4

@article{1436adb64c5d4ce6876c104533dadeee,

title = "The G12 project: mapping solver independent models to efficient solutions",

abstract = "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.",

author = "Stuckey, {Peter J} and {Garcia De La Banda}, {Maria Jose} and Michael Maher and Marriott, {Kimbal George} and John Slaney and Zoltan Somogyi and Mark Wallace and Toby Walsh",

year = "2005",

doi = "10.1007/11564751_4",

language = "English",

volume = "3709",

pages = "13--16",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer-Verlag London Ltd.",

}

The G12 project : mapping solver independent models to efficient solutions. / Stuckey, Peter J ; Garcia De La Banda, Maria Jose; Maher, Michael; Marriott, Kimbal George; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby.

In: Lecture Notes in Computer Science, Vol. 3709, 2005, p. 13-16.

Research output: Contribution to journal › Article › Research › peer-review

TY - JOUR

T1 - The G12 project

T2 - mapping solver independent models to efficient solutions

AU - Stuckey, Peter J

AU - Garcia De La Banda, Maria Jose

AU - Maher, Michael

AU - Marriott, Kimbal George

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.

U2 - 10.1007/11564751_4

DO - 10.1007/11564751_4

M3 - Article

VL - 3709

SP - 13

EP - 16

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -

Access to Document

10.1007/11564751_4