The G12 project: Mapping solver independent models to efficient solutions

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

    Research output: Contribution to journalArticleResearchpeer-review

    Abstract

    The G12 project recently started by National ICT 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 hybridizable 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 languageEnglish
    Pages (from-to)9-13
    Number of pages5
    JournalLecture Notes in Computer Science
    Volume3668
    DOIs
    Publication statusPublished - 31 Oct 2005

    Cite this

    @article{6e7a581f0bb1408c99ecc746498bf41f,
    title = "The G12 project: Mapping solver independent models to efficient solutions",
    abstract = "The G12 project recently started by National ICT 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 hybridizable 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 {De La Banda}, {Maria Garcia} and Michael Maher and Kim Marriott and John Slaney and Zoltan Somogyi and Mark Wallace and Toby Walsh",
    year = "2005",
    month = "10",
    day = "31",
    doi = "10.1007/11562931_3",
    language = "English",
    volume = "3668",
    pages = "9--13",
    journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
    issn = "0302-9743",
    publisher = "Springer-Verlag London Ltd.",

    }

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

    In: Lecture Notes in Computer Science, Vol. 3668, 31.10.2005, p. 9-13.

    Research output: Contribution to journalArticleResearchpeer-review

    TY - JOUR

    T1 - The G12 project

    T2 - Mapping solver independent models to efficient solutions

    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/10/31

    Y1 - 2005/10/31

    N2 - The G12 project recently started by National ICT 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 hybridizable 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 ICT 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 hybridizable 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=27144452292&partnerID=8YFLogxK

    U2 - 10.1007/11562931_3

    DO - 10.1007/11562931_3

    M3 - Article

    VL - 3668

    SP - 9

    EP - 13

    JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

    SN - 0302-9743

    ER -