The many roads leading to Rome: Solving zinc models by various solvers

Zinc is a solver-independent modelling language designed to support very high level modelling and easy experimentation with different solving technologies for the same problem. In this position paper we illustrate the many ways in which we can reformulate and solve a Zinc model using various solving technologies.

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

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

[3]  Robin Lougee,et al.  The Common Optimization INterface for Operations Research: Promoting open-source software in the operations research community , 2003, IBM J. Res. Dev..

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

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

[6]  Krzysztof R. Apt,et al.  Constraint logic programming using Eclipse , 2007 .

[7]  Peter J. Stuckey,et al.  Flexible, Rule-Based Constraint Model Linearisation , 2008, PADL.

[8]  Peter J. Stuckey,et al.  ACD Term Rewriting , 2006, ICLP.

[9]  Niklas Sörensson,et al.  An Extensible SAT-solver , 2003, SAT.

[10]  Kim Marriott,et al.  The Modelling Language Zinc , 2006, CP.

[11]  K. I. M. McKinnon,et al.  Constructing integer programming models by the predicate calculus , 1989 .

[12]  Warwick Harvey,et al.  Essence: A constraint language for specifying combinatorial problems , 2007, Constraints.

[13]  Jinbo Huang.  Universal Booleanization of Constraint Models , 2008, CP.

[14]  Peter J. Stuckey,et al.  Propagation = Lazy Clause Generation , 2007, CP.

[15]  Thomas Stützle,et al.  SATLIB: An Online Resource for Research on SAT , 2000 .

[16]  Peter J. Stuckey,et al.  Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches , 2007, CPAIOR.

[17]  Joachim Schimpf,et al.  ECLiPSe: A Platform for Constraint Logic Programming , 1997 .

[18]  Zoltan Somogyi,et al.  The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language , 1996, J. Log. Program..