Citation: UNSPECIFIED.
Full text not available from this repository.
Official URL: http://www.mecs-press.org/ijisa/
Abstract
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 |
---|---|
Uncontrolled Keywords: | 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 |
Depositing User: | Reza Rafeh |
Date Deposited: | 10 Jan 2017 20:34 |
Last Modified: | 21 Jul 2023 04:34 |
URI: | http://researcharchive.wintec.ac.nz/id/eprint/5081 |