dekker-phd-thesis/abstract_gp.md

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.