Monash University
5216329_KevinLeoThesis.pdf (5.14 MB)

Making the Most of Structure in Constraint Models

Download (5.14 MB)
posted on 2017-07-18, 06:47 authored 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.


Campus location


Principal supervisor

Guido Tack

Additional supervisor 1

Maria Garcia de la Banda

Year of Award


Department, School or Centre

Information Technology (Monash University Caulfield)


Doctor of Philosophy

Degree Type



Faculty of Information Technology