Globalizing Constraint Models

  • Kevin Leo
  • Christopher Mears
  • Guido Tack
  • Maria Garcia de la Banda
Conference paper

DOI: 10.1007/978-3-642-40627-0_34

Volume 8124 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Leo K., Mears C., Tack G., Garcia de la Banda M. (2013) Globalizing Constraint Models. In: Schulte C. (eds) Principles and Practice of Constraint Programming. CP 2013. Lecture Notes in Computer Science, vol 8124. Springer, Berlin, Heidelberg

Abstract

We present a method that, given a constraint model, suggests global constraints to replace parts of it. This helps non-expert users to write higher-level models that are easier to reason about and may result in better solving performance. Our method exploits the structure of the model by considering combinations of the constraints, collections of variables, parameters and loops already present in the model, as well as parameter data from several data files. We assign a score to a candidate global constraint by comparing a sample of its solution space with that of the part of the model it is intended to replace. The top-scoring global constraints are presented to the user through an interactive display, which shows how they could be incorporated into the model. The MiniZinc Globalizer, our implementation of the method for the MiniZinc modelling language, is available on the web.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Kevin Leo
    • 1
  • Christopher Mears
    • 1
  • Guido Tack
    • 1
    • 2
  • Maria Garcia de la Banda
    • 1
    • 2
  1. 1.Faculty of ITMonash UniversityAustralia
  2. 2.Victoria LaboratoryNational ICT Australia (NICTA)Australia