Advertisement

Adding Search to Zinc

  • Reza Rafeh
  • Kim Marriott
  • Maria Garcia de la Banda
  • Nicholas Nethercote
  • Mark Wallace
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5202)

Abstract

We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound search, and local search. Our approach is competitive with hand-coded search strategies.

Keywords

Local Search Modelling Language Search Pattern Constraint Programming Local Search Method 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Apt, K.R., Wallace, M.G.: Constraint Logic programming using ECLiPSe. Cambridge University Press, Cambridge (2006)Google Scholar
  2. 2.
    Colombani, Y., Heipcke, S.: Mosel: An overview (2007), http://www.dashoptimization.com/home/downloads/pdf/mosel.pdf
  3. 3.
    Fourer, R., Gay, D.M., Kernighan, B.W.: AMPL: A Modeling Language for Mathematical Programming. Duxbury Press (2002)Google Scholar
  4. 4.
    Van Hentenryck, P., Perron, L., Puget, J.F.: Search and strategies in OPL. ACM Transactions on Computational Logic 1(2), 285–320 (2000)CrossRefMathSciNetGoogle Scholar
  5. 5.
    Marriott, K., Nethercote, N., Rafeh, R., Stuckey, P.J., de la Banda, M.G., Wallace, M.: The design of the Zinc modelling language. Constraints 13(3) (2008)Google Scholar
  6. 6.
    Rafeh, R.: The Zinc modelling language home page, http://www.csse.monash.edu.au/~rezar/Zinc
  7. 7.
    Rafeh, R., Garcia de la Banda, M., Marriott, K., Wallace, M.: From Zinc to design model. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 215–229. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  8. 8.
    Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Reza Rafeh
    • 1
  • Kim Marriott
    • 1
  • Maria Garcia de la Banda
    • 1
  • Nicholas Nethercote
    • 2
  • Mark Wallace
    • 1
  1. 1.Clayton School of ITMonash UniversityAustralia
  2. 2.NICTA Victoria Research LaboratoryUniversity of MelbourneAustralia

Personalised recommendations