Monash University
Browse
dekker_thesis_final.pdf (1.15 MB)

A Modern Architecture for Constraint Modelling Languages

Download (1.15 MB)
thesis
posted on 2021-11-10, 01:27 authored by Jip Joris Dekker
Real world problems, such as scheduling and routing problems, are often solved by creating high-level models. These high-level models are rewritten to input suitable for dedicated solver programs. This thesis proposes an architecture for the rewriting process that makes it significantly more efficient and its results easier to solve. It also supports solving more challenging real world problems that require solving a sequence of related high-level models. This defines a new state of the art for model rewriting.

History

Campus location

Australia

Principal supervisor

Guido Tack

Additional supervisor 1

Peter J. Stuckey

Additional supervisor 2

Andreas Schutt

Year of Award

2021

Department, School or Centre

Information Technology (Monash University Clayton)

Additional Institution or Organisation

CSIRO's Data61

Course

Doctor of Philosophy

Degree Type

DOCTORATE

Faculty

Faculty of Information Technology

Usage metrics

    Faculty of Information Technology Theses

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC