The future of optimization technology

Technology for combinatorial optimization is rapidly changing, and as the size and scope of problems that can be solved steadily increases, the complexity of the underlying technology is growing. We foresee a huge demand for both the simplification of use of combinatorial optimization technology (so called “model and run” capabilities), as well as increasing need for the ability to quickly build complex hybrid solutions. These demands will place new emphasis on universal modeling languages and model transformation capabilities, as well as flexible and high level ways of specifying hybrid solutions. These changes put constraint programming in an ideal position since: constraint programming has the most high-level view of problems to begin with so we can ease modeling difficulties; and since constraint programming is an integrative technology, we have already spent considerable effort in making different solving technologies work together seamlessly. In this position paper we outline some of the key challenges and important research directions we foresee for optimization technology,

[1]  Michael A. Trick,et al.  Formulations and Reformulations in Integer Programming , 2005, CPAIOR.

[2]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[3]  Tallys H. Yunes,et al.  SIMPL: A System for Integrating Optimization Techniques , 2004, CPAIOR.

[4]  Jimmy H. M. Lee.  Proceedings of the 17th international conference on Principles and practice of constraint programming , 2011 .

[5]  Pascal Van Hentenryck.  The OPL optimization programming language , 1999 .

[6]  Enn Tyugu,et al.  Constraint Programming , 1994, NATO ASI Series.

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

[8]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[9]  Peter J. Stuckey,et al.  Explaining the cumulative propagator , 2010, Constraints.

[10]  Helmut Simonis,et al.  A Model Seeker: Extracting Global Constraint Models from Positive Examples , 2012, CP.

[11]  Peter J. Stuckey,et al.  Optimisation Modelling for Software Developers , 2012, CP.

[12]  Pascal Van Hentenryck,et al.  Compositional Derivation of Symmetries for Constraint Satisfaction , 2005, SARA.

[13]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[14]  Luc De Raedt,et al.  Itemset mining: A constraint programming perspective , 2011, Artif. Intell..

[15]  Laurent Perron.  Search Procedures and Parallelism in Constraint Programming , 1999, CP.

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

[17]  Helmut Simonis,et al.  A Constraint Seeker: Finding and Ranking Global Constraints from Examples , 2011, CP.

[18]  Alexander Brodsky,et al.  CoJava: Optimization Modeling by Nondeterministic Simulation , 2006, CP.

[19]  Peter J. Stuckey,et al.  Propagation via lazy clause generation , 2009, Constraints.

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

[21]  Peter J. Stuckey,et al.  Dantzig-Wolfe decomposition and branch-and-price solving in G12 , 2009, Constraints.

[22]  Christopher Mears,et al.  On implementing symmetry detection , 2009, Constraints.

[23]  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.

[24]  Pascal Van Hentenryck,et al.  Aeon: Synthesizing Scheduling Algorithms from High-Level Models , 2009 .

[25]  Andrew J. Davenport,et al.  Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results , 2010, CPAIOR.

[26]  Peter J. Stuckey,et al.  Search combinators , 2012, Constraints.

[27]  Peter J. Stuckey,et al.  Half Reification and Flattening , 2011, CP.

[28]  Peter J. Stuckey,et al.  Automatically Exploiting Subproblem Equivalence in Constraint Programming , 2010, CPAIOR.

[29]  Michela Milano.  Proceedings of the 18th international conference on Principles and Practice of Constraint Programming , 2012 .

[30]  Pascal Van Hentenryck,et al.  Search and strategies in OPL , 2000, TOCL.

[31]  J. Hooker.  Constraint programming , 2003 .

[32]  Pedro Barahona,et al.  PSICO: Solving Protein Structures with Constraint Programming and Optimization , 2002, Constraints.

[33]  Samir A. Mohamed Elsayed,et al.  Synthesis of Search Algorithms from High-Level CP Models , 2011, CP.