Skip to main content
SpringerLink
Log in
Book cover

International Conference on Principles and Practice of Constraint Programming

CP 2013: Principles and Practice of Constraint Programming pp 8–29Cite as

The Objective-CP Optimization System

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8124))

Abstract

Objective-CP is an optimization system that views an optimization program as the combination of a model, a search, and a solver. Models in Objective-CP follow the modeling style of constraint programming and are concretized into specific solvers. Search procedures are specified in terms of high-level nondeterministic constructs, search combinators, and node selection strategies. Objective-CP supports fully transparent parallelization of multi-start and branch & bound algorithms. The implementation of Objective-CP is based on a sequence of model transformations, followed by a concretization step. Moreover, Objective-CP features a constraint-programming solver following a micro-kernel architecture for ease of maintenance and extensibility. Experimental results show the practicability of the approach.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.-F.: Revising hull and box consistency. In: ICLP, pp. 230–244 (1999)

    Google Scholar 

  2. Concert Technology. Reference Manual, version 12.1 (2009)

    Google Scholar 

  3. Inc. Dynadec. Comet v2.1 user manual. Technical report, Providence, RI (2009)

    Google Scholar 

  4. Fontaine, D., Michel, L., Van Hentenryck, P.: Model Combinators for Hybrid Optimization. In: Schlte, C. (ed.) CP 2013. LNCS, vol. 8124, pp. 299–314. Springer, Heidelberg (2013)

    Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. Gargani, A., Refalo, P.: An efficient model and strategy for the steel mill slab design problem. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 77–89. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Gent, I.P., Jefferson, C., Miguel, I.: Watched literals for constraint propagation in minion. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 182–197. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Van Hentenryck, P., Michel, L.: The Steel Mill Slab Design Problem Revisited. In: Trick, M.A. (ed.) CPAIOR 2008. LNCS, vol. 5015, pp. 377–381. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  9. Hooker, J.N.: Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. John Wiley and Sons (2000)

    Google Scholar 

  10. Ilog Solver 4.4. Reference Manual. Ilog SA, Gentilly, France (1998)

    Google Scholar 

  11. Michel, L., See, A., Van Hentenryck, P.: Parallelizing constraint programs transparently. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 514–528. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  12. Michel, L., See, A., Van Hentenryck, P.: Transparent Parallelization of Constraint Programming. INFORMS Journal on Computing 21(3), 363–382 (2009)

    Article  MATH  Google Scholar 

  13. Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: Towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  14. Perron, L.: Search Procedures and Parallelism in Constraint Programming. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 346–361. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  15. Puget, J.-F.: A C++ Implementation of CLP. In: Proceedings of SPICIS 1994, Singapore (November 1994)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H., Stuckey, P.: Search Combinators. Constraints 18(2), 269–305 (2013)

    Article  MathSciNet  Google Scholar 

  18. Schulte, C., Tack, G.: View-Based Propagator Derivation. Constraints 18(1), 75–107 (2013)

    Article  MathSciNet  Google Scholar 

  19. Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge (1989)

    Google Scholar 

  20. Van Hentenryck, P.: The OPL Optimization Programming Language. The MIT Press, Cambridge (1999)

    Google Scholar 

  21. Van Hentenryck, P., Michel, L.: OPL Script: Composing and Controlling Models. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Compulog Net WS 1999. LNCS (LNAI), vol. 1865, pp. 75–90. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  22. Van Hentenryck, P., Michel, L.: Nondeterministic Control for Hybrid Search. In: Barták, R., Milano, M. (eds.) CPAIOR 2005. LNCS, vol. 3524, pp. 380–395. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  23. Van Hentenryck, P., Michel, L., Deville, Y.: Numerica: a Modeling Language for Global Optimization. The MIT Press, Cambridge (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NICTA, Australia

    Pascal Van Hentenryck

  2. University of Connecticut, Storrs, CT, 06269-2155, USA

    Laurent Michel

Authors
  1. Pascal Van Hentenryck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laurent Michel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information and Communication Technology, KTH Royal Institute of Technology, P.O. Box Forum 120, 16440, Kista, Sweden

    Christian Schulte

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Van Hentenryck, P., Michel, L. (2013). The Objective-CP Optimization System. In: Schulte, C. (eds) Principles and Practice of Constraint Programming. CP 2013. Lecture Notes in Computer Science, vol 8124. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40627-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40627-0_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40626-3

  • Online ISBN: 978-3-642-40627-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation