Adding Search to Zinc

Rafeh, Reza and Marriott, Kim and Garcia de la Banda, Maria and Nethercote, Nick and Wallace, Mark (2008) Adding Search to Zinc. Principles and Practice of Constraint Programming, Sydney, Australia, September 14 - 18, 2008.

Full text not available from this repository.

Official URL:

Abstract or Summary

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
Keywords that describe the item:Zinc
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5127
Deposited By:
Deposited On:11 Jan 2017 01:03
Last Modified:19 Dec 2018 22:49

Repository Staff Only: item control page