Using Heuristic-based Search for Zinc Models

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

Views: 0 Downloads: 0


Reza Rafeh 1,* Roya Rashidi 1

1. Department of Computer Engineering, Faculty of Engineering, Arak University, Arak, Iran

* Corresponding author.


Received: 3 Feb. 2013 / Revised: 6 May 2013 / Accepted: 21 Jul. 2013 / Published: 8 Sep. 2013

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."