A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems

Abstract The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in particular, constraint logic programming) were integrated. The strengths of integer programming and constraint logic programming, in which constraints are treated in a different way and different methods are implemented, were combined to use the strengths of both. The hybrid method is not worse than either of its components used independently. The proposed approach is particularly important for the decision models with an objective function and many discrete decision variables added up in multiple constraints. To validate the proposed approach, two illustrative examples are presented and solved. The first example is the authors’ original model of cost optimisation in the supply chain with multimodal transportation. The second one is the two-echelon variant of the well-known capacitated vehicle routing problem.

[1]  Kenn Steger-Jensen,et al.  Scheduling a single mobile robot for part-feeding tasks of production lines , 2014, J. Intell. Manuf..

[2]  Alexander Bockmayr,et al.  Branch-and-Infer: a Framework for Combining CP and IP , 2004 .

[3]  Ngoc Thanh Nguyen,et al.  New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008, Wroclaw, Poland, June 18-20, 2008, Proceedings , 2008, International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems.

[4]  Roberto Tadei,et al.  Optimal facility location with random throughput costs , 2002, Comput. Oper. Res..

[5]  Mark Wallace,et al.  Integrating Operations Research in Constraint Programming , 2010, Ann. Oper. Res..

[6]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[7]  Ignacio E. Grossmann,et al.  A model predictive control strategy for supply chain optimization , 2003, Comput. Chem. Eng..

[8]  Jaroslaw Wikarek,et al.  A hybrid approach to supply chain modeling and optimization , 2013, 2013 Federated Conference on Computer Science and Information Systems.

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

[10]  M. Zaborowski,et al.  Grouping Products in a Follow-Up Production Control System for Parallel Partitioned Flow Production Lines , 2001 .

[11]  J. Christian Lang,et al.  Production and Operations Management: Models and Algorithms , 2010 .

[12]  Nicos Christofides,et al.  An Algorithm for the Vehicle-dispatching Problem , 1969 .

[13]  Vipul Jain,et al.  Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems , 2001, INFORMS J. Comput..

[14]  Jaroslaw Wikarek,et al.  A Declarative Framework for Constrained Search Problems , 2008, IEA/AIE.

[15]  Jarosław Wikarek,et al.  Mathematical programming model of cost optimization for supply chain from perspective of logistics provider , 2012 .

[16]  Pawel Sitek,et al.  Cost optimization of supply chain with multimodal transport , 2012, 2012 Federated Conference on Computer Science and Information Systems (FedCSIS).

[17]  J. Wikarek,et al.  The concept of decision support system structures for the distribution center , 2010 .

[18]  Marcin Relich.  Project prototyping with application of CP-based approach , 2011 .

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

[20]  Daniele Vigo,et al.  The Two-Echelon Capacitated Vehicle Routing Problem: Models and Math-Based Heuristics , 2011, Transp. Sci..

[21]  T. Crainic,et al.  ADVANCED FREIGHT TRANSPORTATION SYSTEMS FOR CONGESTED URBAN AREAS , 2004 .

[22]  Grzegorz Bocewicz,et al.  Agvs Distributed Control Subject to Imprecise Operation Times , 2008, KES-AMSTA.

[23]  Atul P. Kanyalkar,et al.  An integrated aggregate and detailed planning in a multi-site production environment using linear programming , 2005 .

[24]  Paweł Sitek,et al.  The Declarative Framework Approach to Decision Support for Constrained Search Problems , 2011 .