Sub-Problem Pre-Solving in MiniZinc
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Constraint models often describe complicated problems that contain sub-problems that could be solved in sub-models. Although pre-solving these sub-models might improve the performance of the model, manually splitting the model to accommodate the occurrences of these sub-models can be a great inconvenience for the modeler. This thesis introduces an approach to automate the process of solving sub-models and replacing them by constraints that provide more inference, based on the solutions found. An implementation of this approach is provided for the MiniZinc language, and using various examples we show how the strain of the implementation of pre-solving is moved from the modeler to the modeling toolchain.
Place, publisher, year, edition, pages
2016. , 44 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:uu:diva-307145OAI: oai:DiVA.org:uu-307145DiVA: diva2:1045442
Master Programme in Computer Science
Pearson, JustinDaniels, Mats