A New Framework for Tackling Combinatorial Optimization Problems

Rafeh, Reza (2010) A New Framework for Tackling Combinatorial Optimization Problems. 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE) , Chengdu, China, 20-22 Aug. 2010 .

Full text not available from this repository.

Official URL: http://ieeexplore.ieee.org/document/5579117/

Abstract or Summary

A difficult class of problems is the class of combinatorial optimization problems. This is because the search space of such problems is often grown exponentially when the size of the problem grows. There are some known solving techniques to tackle such problems of which the most popular ones are: mathematical methods, constraint programming and local search. Each technique has its own advantages and disadvantages and for a given problem it is unclear at the beginning which technique gives us the best result. In this paper, we explain our experiments in designing the modeling language Zinc. Zinc is a high-level modeling language which supports a methodology in which each model can be automatically mapped into corresponding low level model suitable for one of the afore mentioned solving techniques.

Item Type:Paper presented at a conference, workshop or other event, and published in the proceedings
Keywords that describe the item:Constraint Programming, Modelling Languages Solver Independent Modelling
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Schools > Centre for Business, Information Technology and Enterprise > School of Information Technology
ID Code:5141
Deposited By:
Deposited On:11 Jan 2017 02:46
Last Modified:19 Dec 2018 23:12

Repository Staff Only: item control page