G12

The G12 project: Mapping solver independent models to efficient solutions. 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.


References in zbMATH (referenced in 11 articles , 1 standard article )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Hooker, J. N.; van Hoeve, W.-J.: Constraint programming and operations research (2018)
  2. Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang: MiniBrass: soft constraints for MiniZinc (2018)
  3. Schutt, Andreas; Feydy, Thibaut; Stuckey, Peter J.; Wallace, Mark G.: Solving RCPSP/max by lazy clause generation (2013)
  4. Janičić, Predrag: URSA: a system for uniform reduction to SAT (2012)
  5. Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian: Dantzig-Wolfe decomposition and branch-and-price solving in G12 (2011)
  6. De Koninck, Leslie; Duck, Gregory J.; Stuckey, Peter J.: Demand-driven normalisation for ACD term rewriting (2009)
  7. Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J.: Cadmium: an implementation of ACD term rewriting (2008)
  8. Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark: The design of the zinc modelling language (2008)
  9. Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark; Brand, Sebastian: From high-level model to branch-and-price solution in G12 (2008)
  10. Stuckey, Peter J.; de la Banda, Maria Garcia; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby: The G12 project: Mapping solver independent models to efficient solutions (2005) ioport
  11. Stuckey, Peter J.; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby: The G12 project: Mapping solver independent models to efficient solutions (2005)