论文信息 - Constraint Programming and Combinatorial Optimisation in Numberjack

Constraint Programming and Combinatorial Optimisation in Numberjack

Numberjack is a modelling package written in Python for embedding constraint programming and combinatorial optimisation into larger applications. It has been designed to seamlessly and efficiently support a number of underlying combinatorial solvers. This paper illustrates many of the features of Numberjack through the use of several combinatorial optimisation problems.

[1] John N. Hooker. Integrated Methods for Optimization (International Series in Operations Research & Management Science) , 2006 .

[2] Jean-François Puget,et al. Constraint Programming Next Challenge: Simplicity of Use , 2004, CP.

[3] Thorsten Koch,et al. Constraint Integer Programming: A New Approach to Integrate CP and MIP , 2008, CPAIOR.

[4] Eugene C. Freuder,et al. CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications , 2009, CPAIOR.

[5] Mita Nasipuri,et al. Optimal monitor placement scheme for single fault detection in optical network , 2005, Proceedings of 2005 7th International Conference Transparent Optical Networks, 2005..

[6] Pascal Van Hentenryck,et al. The CHIP System: Constraint Handling In Prolog , 1988, CADE.

[7] John N. Hooker,et al. Integrated methods for optimization , 2011, International series in operations research and management science.

[8] Mutsunori Banbara,et al. Compiling finite linear CSP into SAT , 2006, Constraints.

[9] Lakhdar Sais,et al. Boosting Systematic Search by Weighting Constraints , 2004, ECAI.

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

[11] Alain Colmerauer,et al. An introduction to Prolog III , 1989, CACM.

[12] Pascal Van Hentenryck,et al. Constraint Programming in OPL , 1999, PPDP.

[13] Emmanuel Hebrard,et al. Closing the Open Shop: Contradicting Conventional Wisdom , 2009, CP.