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

2019-12-03T07:36:17Z (GMT) by John
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.