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: Chapter in Book/Report/Conference proceeding › Conference Paper › 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
Title of host publication	Principles and Practice of Constraint Programming - CP 2005
Subtitle of host publication	11th International Conference, CP 2005 Sitges, Spain, October 1-5, 2005 Proceedings
Editors	Peter van Beek
Place of Publication	Berlin Germany
Publisher	Springer
Pages	13-16
Number of pages	4
ISBN (Print)	3540292381, 9783540292388
DOIs	https://doi.org/10.1007/11564751_4
Publication status	Published - 2005
Event	International Conference on Principles and Practice of Constraint Programming 2005 - Sitges Barcelona, Spain Duration: 1 Oct 2005 → 4 Oct 2005 Conference number: 11th https://link.springer.com/book/10.1007%2F11564751 (Conference Proceedings)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	3709
ISSN (Print)	0302-9743

Conference

Conference	International Conference on Principles and Practice of Constraint Programming 2005
Abbreviated title	CP 2005
Country	Spain
City	Sitges Barcelona
Period	1/10/05 → 4/10/05
Internet address	https://link.springer.com/book/10.1007%2F11564751 (Conference Proceedings)

Access to Document

10.1007/11564751_4

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. In P. van Beek (Ed.), Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005 Sitges, Spain, October 1-5, 2005 Proceedings (pp. 13-16). (Lecture Notes in Computer Science; Vol. 3709). Springer. https://doi.org/10.1007/11564751_4

Stuckey, Peter J ; Garcia De La Banda, Maria Jose ; Maher, Michael ; Marriott, Kimbal George ; Slaney, John ; Somogyi, Zoltan ; Wallace, Mark ; Walsh, Toby. / The G12 project : mapping solver independent models to efficient solutions. Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005 Sitges, Spain, October 1-5, 2005 Proceedings. editor / Peter van Beek. Berlin Germany : Springer, 2005. pp. 13-16 (Lecture Notes in Computer Science).

@inproceedings{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",

isbn = "3540292381",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "13--16",

editor = "{van Beek}, Peter",

booktitle = "Principles and Practice of Constraint Programming - CP 2005",

note = "International Conference on Principles and Practice of Constraint Programming 2005, CP 2005 ; Conference date: 01-10-2005 Through 04-10-2005",

url = "https://link.springer.com/book/10.1007%2F11564751",

}

Stuckey, PJ , Garcia De La Banda, MJ, Maher, M, Marriott, KG, Slaney, J, Somogyi, Z, Wallace, M & Walsh, T 2005, The G12 project: mapping solver independent models to efficient solutions. in P van Beek (ed.), Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005 Sitges, Spain, October 1-5, 2005 Proceedings. Lecture Notes in Computer Science, vol. 3709, Springer, Berlin Germany, pp. 13-16, International Conference on Principles and Practice of Constraint Programming 2005, Sitges Barcelona, Spain, 1/10/05. https://doi.org/10.1007/11564751_4

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.

Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005 Sitges, Spain, October 1-5, 2005 Proceedings. ed. / Peter van Beek. Berlin Germany : Springer, 2005. p. 13-16 (Lecture Notes in Computer Science; Vol. 3709).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - The G12 project

T2 - International Conference on Principles and Practice of Constraint Programming 2005

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

N1 - Conference code: 11th

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 - Conference Paper

SN - 3540292381

SN - 9783540292388

T3 - Lecture Notes in Computer Science

SP - 13

EP - 16

BT - Principles and Practice of Constraint Programming - CP 2005

A2 - van Beek, Peter

PB - Springer

CY - Berlin Germany

Y2 - 1 October 2005 through 4 October 2005

ER -

Stuckey PJ , Garcia De La Banda MJ, Maher M, Marriott KG, Slaney J, Somogyi Z et al. The G12 project: mapping solver independent models to efficient solutions. In van Beek P, editor, Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005 Sitges, Spain, October 1-5, 2005 Proceedings. Berlin Germany: Springer. 2005. p. 13-16. (Lecture Notes in Computer Science). https://doi.org/10.1007/11564751_4