论文信息 - G12 - Towards the Separation of Problem Modelling and Problem Solving - 字舞流文

G12 - Towards the Separation of Problem Modelling and Problem Solving

This paper presents the G12 large scale optimisation software platform, and discusses aspects of its architecture.

[1] Christian Bessière. Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings , 2007, CP.

[2] Peter J. Stuckey,et al. From High-Level Model to Branch-and-Price Solution in G12 , 2008, CPAIOR.

[3] Peter J. Stuckey,et al. MiniZinc: Towards a Standard CP Modelling Language , 2007, CP.

[4] Peter van Beek,et al. Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings , 2005, CP.

[5] Peter J. Stuckey,et al. Adding Constraint Solving to Mercury , 2006, PADL.

[6] Peter J. Stuckey,et al. The many roads leading to Rome: Solving zinc models by various solvers , 2008 .

[7] Laurence A. Wolsey,et al. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings , 2007, CPAIOR.

[8] Peter J. Stuckey,et al. The Design of the Zinc Modelling Language , 2008, Constraints.

[9] Peter J. Stuckey,et al. Cadmium: An Implementation of ACD Term Rewriting , 2008, ICLP.

[10] Michael J. Maher,et al. The G12 Project: Mapping Solver Independent Models to Efficient Solutions , 2005, ICLP.

[11] Kim Marriott,et al. Adding Search to Zinc , 2008, CP.