International Journal of Intelligent Systems and Applications(IJISA)

ISSN: 2074-904X (Print), ISSN: 2074-9058 (Online)

Published By: MECS Press

IJISA Vol.5, No.10, Sep. 2013

Using Heuristic-based Search for Zinc Models

Full Text (PDF, 249KB), PP.11-17

Views:108   Downloads:0


Reza Rafeh, Roya Rashidi

Index Terms

Zinc, ZLoc, Modelling, Local Search


The Zinc modelling language provides a rich set of constraints, data structures and expressions to support high-level modelling. Zinc is the only modelling language that supports all solving techniques: constraint programming, mathematical methods, and local search. By providing search patterns, it allows users to implement their search methods in a declarative way. There are currently three search patterns implemented in Zinc: backtracking search, branch and bound search, and local search. In this paper we explain how Zinc efficiently implements user-defined local search algorithms.

Cite This Paper

Reza Rafeh, Roya Rashidi,"Using Heuristic-based Search for Zinc Models", International Journal of Intelligent Systems and Applications(IJISA), vol.5, no.10, pp.11-17, 2013.DOI: 10.5815/ijisa.2013.10.02


[1]Rafeh R., "The Modelling Language Zinc," in Clayton School of IT. vol. Ph.d.Thesis: Monash University, 2008.

[2]N. Jaberi, and R. Rafeh, “A Survey of Linearization Techniques for Nonlinear Models,” International Journal of Computational Intelligence and Information Security, vol. 3, no. 2, 2012.

[3]Rafeh R., Marriott K., and de la Banda M., "Adding Search to Zinc," CP 2008, vol. LNCS 5202, pp. 624-629, 2008.

[4]Apt K., and Wallace M., Constraint Logic programming Using ECLiPSe: Cambridge University Press, 2007.

[5]R. Rafeh,. "Proposing a new search template for modelling languages", Procedia CS 3: 1490-1493, 2011.

[6]Rashidi R., Rafeh R., Rahmani M., and Khadem E. A., "ZLoc: A C++ library for local search," International Journal of the Physical Sciences, vol. 6(31), pp. 7095 - 7099, 2011.

[7]Hentenryck P. V., and Michel L., Constraint-Based Local Search: MIT Press, 2005.

[8]"Boost C++ libraries home page."