Model Combinators for Hybrid Optimization

  • Daniel Fontaine
  • Laurent Michel
  • Pascal Van Hentenryck
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8124)

Abstract

In recent years, Cml, G12 and Simpl, have achieved significant progress in automating the generation of hybrid solvers from high-level model specifications. This paper pushes this research direction one step further and introduces the concept of model combinators to provide principled model compositions. These model combinators rely on runnables capturing executable models, runnable signatures that capture what runnables can produce and consume, and model hierarchies, which track relationships among models. These concepts make it possible to enforce the soundness of model compositions and to determine the best model compositions automatically. A prototype of the framework on top of the Objective-CP optimization system is presented.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Akgun, O., Miguel, I., Jefferson, C., Frisch, A., Hnich, B.: Extensible automated constraint modelling (2011)Google Scholar
  2. 2.
    De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69–77 (2011)CrossRefGoogle Scholar
  3. 3.
    Duck, G.J., De Koninck, L., Stuckey, P.J.: Cadmium: An implementation of ACD term rewriting. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 531–545. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Duck, G., Stuckey, P., Brand, S.: Acd term rewriting. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 117–131. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Fazel-Zarandi, M.M., Beck, J.C.: Solving a Location-Allocation Problem with Logic-Based Benders’ Decomposition. In: Gent, I.P. (ed.) CP 2009. LNCS, vol. 5732, pp. 344–351. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Fontaine, D., Michel, L.: A high level language for solver independent model manipulation and generation of hybrid solvers. In: Beldiceanu, N., Jussien, N., Pinson, É. (eds.) CPAIOR 2012. LNCS, vol. 7298, pp. 180–194. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  7. 7.
    Frisch, A., Harvey, W., Jefferson, C., Martínez-Hernández, B., Miguel, I.: Essence: A constraint language for specifying combinatorial problems. Constraints 13, 268–306 (2008)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Seldin, J.P., Roger Hindley, J.: Lambda-Calculus and Combinators An Introduction, 2nd edn. Cambridge University Press (2008)Google Scholar
  9. 9.
    Puchinger, J., Stuckey, P.J., Wallace, M., Brand, S.: From high-level model to branch-and-price solution in g12 (2008)Google Scholar
  10. 10.
    Puchinger, J., Stuckey, P.J., Wallace, M.G., Brand, S.: Dantzig-wolfe decomposition and branch-and-price solving in g12. Constraints 16(1), 77–99 (2011)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Refalo, P.: Linear Formulation of Constraint Programming Models and Hybrid Solvers. In: Dechter, R. (ed.) CP 2000. LNCS, vol. 1894, pp. 369–383. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  12. 12.
    Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H., Stuckey, P.J.: Search combinators. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 774–788. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  13. 13.
    Van Hentenryck, P., Michel, L.: Search = continuations + controllers. In: Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming (submitted, September 2013)Google Scholar
  14. 14.
    Yunes, T., Aron, I.D., Hooker, J.N.: An integrated solver for optimization problems. Oper. Res. 58(2), 342–356 (2010)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Daniel Fontaine
    • 1
  • Laurent Michel
    • 1
  • Pascal Van Hentenryck
    • 2
  1. 1.University of ConnecticutStorrsUSA
  2. 2.NICTAUniversity of MelbourneAustralia

Personalised recommendations