Search for collections on Wintec Research Archive

Using Heuristic-based Search for Zinc Models

Citation: UNSPECIFIED.

Full text not available from this repository.

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

Actions (login required)

View Item
View Item