Monash University
sje-thesis_complete.pdf (4.76 MB)

On the Art of Modelling in Constraint-Based Scheduling: new methods, theory and applications

Download (4.76 MB)
posted on 2022-03-17, 05:09 authored by Steven John Edwards
Advanced cell staining is the process of using chemicals and dyes to enhance the visualisation of cellular subcomponents of tissue samples. The technique is frequently used to help pathologists identify the presence or prevalence of particular cell types, structures or microorganisms for the diagnosis of cancers and infectious diseases. Due to an increasing demand for this technology, a need for automation arose. This thesis considers how such automated systems can be efficiently programmed to process large quantities of tests efficiently. To do so, we study modelling choices in Constraint-Based Scheduling - the application of Constraint Programming to scheduling problems. The models are improved by using novel ideas of symmetry elimination, driving variables and interval clusters. The thesis demonstrates how these methodological improvements are crucial to solving this scheduling problems.


Campus location


Principal supervisor

Andreas Ernst

Additional supervisor 1

Kate Smith-Miles

Additional supervisor 2

Davaatseren Baatar

Year of Award


Department, School or Centre



Doctor of Philosophy

Degree Type



Faculty of Science