Citation: UNSPECIFIED.
Full text not available from this repository.
Official URL: http://link.springer.com/chapter/10.1007%2F978-3-5...
Abstract
We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound search, and local search. Our approach is competitive with hand-coded search strategies.
Item Type: | Paper presented at a conference, workshop or other event, and published in the proceedings |
---|---|
Uncontrolled Keywords: | Zinc |
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: | 11 Jan 2017 01:03 |
Last Modified: | 21 Jul 2023 04:35 |
URI: | http://researcharchive.wintec.ac.nz/id/eprint/5127 |