From c0740840ebdc9cd31d4f7aa2dd5a1e19f06d3e46 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Thu, 29 Jul 2021 14:44:32 +1000 Subject: [PATCH] Add abstract draft for general public --- abstract_gp.txt | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 abstract_gp.txt diff --git a/abstract_gp.txt b/abstract_gp.txt new file mode 100644 index 0000000..367f280 --- /dev/null +++ b/abstract_gp.txt @@ -0,0 +1,5 @@ +Real world problems, such as scheduling and routing problems, are often solved by creating constraint models. +These models are automatically rewritten for the use of dedicated solver programs. +Over the years, both the size of the problems and approaches taken by the solver programs have significantly changed. +This has meant that for some applications the rewriting process has become prohibitively inefficient. +This thesis proposes a more efficient structure for the rewriting process that makes constraint modelling a more powerful and attractive approach.