Towards the new modelling language Zinc

Rafeh, Reza and Marriott, Kim and Wallace, Mark and Garcia de la Banda, Maria (2005) Towards the new modelling language Zinc. Open Source Developers’ Conference, Melbourne, Australia, 5-7 December, 2005. []

Full text not available from this repository.

Abstract or Summary

Combinatorial optimization problems are usually tackled in two steps: modelling and solving. Three main approaches are used for solving: Mathematical Methods (MM), Constraint Programming (CP) and Local Search (LS). For modelling the main tools are constraint programming languages, constraint programming libraries and (mathematical) modelling languages. Modellinglanguagesprovidethebestapproachtomodellingfornon-programmers since they do not require sophisticated programming skills. However, current modelling languages are tied to their underlying solvers and cannot support all three solving techniques. This is unfortunate since it is often not clear which technique is most suitable. This paper presents the preliminary design of Zinc, a new solver independent modelling language which is intended to support all three solving techniques.

Item Type:Paper presented at a conference, workshop or other event, and published in the proceedings
Keywords that describe the item:Combinatorial optimization problems, Constraint Programming, Modelling Languages, Solving techniques, Solver independency
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5130
Deposited By:
Deposited On:11 Jan 2017 01:01
Last Modified:11 Jan 2017 01:01

Repository Staff Only: item control page