Stuckey, Peter J; Garcia de la Banda, Maria; Maher, Michael; Marriott, Kim; Slaney, John K; Somogyi, Zoltan; Wallace, Mark; Walsh, Toby
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...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.