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: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    17 Citations (Scopus)

    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
    Title of host publicationLogic Programming
    Subtitle of host publication21st International Conference, ICLP 2005 Sitges, Spain, October 2-5, 2005 Proceedings
    EditorsMaurizio Gabbrielli, Gopal Gupta
    Place of PublicationBerlin Germany
    PublisherSpringer
    Pages9-13
    Number of pages5
    ISBN (Print)354029208X, 9783540292081
    DOIs
    Publication statusPublished - 31 Oct 2005
    Event21st International Conference on Logic Programming, ICLP 2005 - Sitges, Spain
    Duration: 2 Oct 20055 Oct 2005

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume3668
    ISSN (Print)0302-9743

    Conference

    Conference21st International Conference on Logic Programming, ICLP 2005
    CountrySpain
    CitySitges
    Period2/10/055/10/05

    Cite this

    Stuckey, P. J., De La Banda, M. G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M., & Walsh, T. (2005). The G12 project: Mapping solver independent models to efficient solutions. In M. Gabbrielli, & G. Gupta (Eds.), Logic Programming: 21st International Conference, ICLP 2005 Sitges, Spain, October 2-5, 2005 Proceedings (pp. 9-13). (Lecture Notes in Computer Science; Vol. 3668). Springer. https://doi.org/10.1007/11562931_3