5216329_KevinLeoThesis.pdf (5.14 MB)
Download file

Making the Most of Structure in Constraint Models

Download (5.14 MB)
thesis
posted on 18.07.2017, 06:47 by KEVIN LEO
Combinatorial problems are critical in a wide range of areas. As a result, there are many solving techniques available, each with different strengths. High-level modelling languages allow problems to be specified once, and then be compiled for different solving techniques to discover which to use. This thesis focuses on model structure, showing how it can be exploited to improve compilation and solving. In particular, it proposes a framework for extracting and using structure to solve problems faster and to help users write better models and debug them. In doing this, it makes it easier to solve hard combinatorial problems.

History

Campus location

Australia

Principal supervisor

Guido Tack

Additional supervisor 1

Maria Garcia de la Banda

Year of Award

2017

Department, School or Centre

Caulfield School of IT

Course

Doctor of Philosophy

Degree Type

Doctorate

Faculty

Faculty of Information Technology