The G12 project: mapping solver independent models to efficient solutions
dc.contributor.author | Stuckey, Peter J | |
dc.contributor.author | Garcia de la Banda, Maria | |
dc.contributor.author | Maher, Michael | |
dc.contributor.author | Marriott, Kim | |
dc.contributor.author | Slaney, John K | |
dc.contributor.author | Somogyi, Zoltan | |
dc.contributor.author | Wallace, Mark | |
dc.contributor.author | Walsh, Toby | |
dc.coverage.spatial | Sitges Spain | |
dc.date.accessioned | 2015-12-13T22:58:10Z | |
dc.date.created | October 1-5 2005 | |
dc.date.issued | 2005 | |
dc.date.updated | 2015-12-12T07:21:32Z | |
dc.description.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. | |
dc.identifier.isbn | 9783540292388 | |
dc.identifier.uri | http://hdl.handle.net/1885/83342 | |
dc.publisher | Springer | |
dc.relation.ispartofseries | International Conference on Principles and Practice of Constraint Programming (CP 2005) | |
dc.source | Proceedings of International Conference on Principles and Practice of Constraint Programming (CP 2005) | |
dc.subject | Keywords: Cadmium; Computer software; Mapping; Mathematical models; Problem solving; Cadmium mappings; G12 project; Industrial combinatorial optimization; Software platform; Project management | |
dc.title | The G12 project: mapping solver independent models to efficient solutions | |
dc.type | Conference paper | |
local.bibliographicCitation.lastpage | 16 | |
local.bibliographicCitation.startpage | 13 | |
local.contributor.affiliation | Stuckey, Peter J, National ICT Australia | |
local.contributor.affiliation | Garcia de la Banda, Maria, Monash University | |
local.contributor.affiliation | Maher, Michael, National ICT Australia | |
local.contributor.affiliation | Marriott, Kim, Monash University | |
local.contributor.affiliation | Slaney, John K, College of Engineering and Computer Science, ANU | |
local.contributor.affiliation | Somogyi, Zoltan, National ICT Australia | |
local.contributor.affiliation | Wallace, Mark, Monash University | |
local.contributor.affiliation | Walsh, Toby, University of York | |
local.contributor.authoremail | u8800435@anu.edu.au | |
local.contributor.authoruid | Slaney, John K, u8800435 | |
local.description.embargo | 2037-12-31 | |
local.description.notes | Imported from ARIES | |
local.description.refereed | Yes | |
local.identifier.absfor | 080199 - Artificial Intelligence and Image Processing not elsewhere classified | |
local.identifier.ariespublication | MigratedxPub11591 | |
local.identifier.doi | 10.1007/11564751_4 | |
local.identifier.scopusID | 2-s2.0-33646187946 | |
local.identifier.uidSubmittedBy | Migrated | |
local.type.status | Published Version |