Using Heuristic-based Search for Zinc Models

Rafeh, Reza and Rashidi, Roya (2013) Using Heuristic-based Search for Zinc Models. International Journal of Intelligent Systems and Applications, 10 . pp. 11-17. ISSN 2074-904X

Full text not available from this repository.

Official URL:

Abstract or Summary

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.

Item Type:Journal article
Keywords that describe the item:Zinc, ZLoc, Modelling, Local Search
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5081
Deposited By:
Deposited On:10 Jan 2017 20:34
Last Modified:19 Dec 2018 23:45

Repository Staff Only: item control page