Adding Search to Zinc

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5202)


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.


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  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),
  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,
  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

  1. 1.Clayton School of ITMonash UniversityAustralia
  2. 2.NICTA Victoria Research LaboratoryUniversity of MelbourneAustralia

Personalised recommendations