Constraint-Based Local Search (CBLS) is a technology used to solve computationally hard optimisation problems. A model written in a solver-independent modelling language needs to be processed before it can be solved by a CBLS solver. In this processing step, it is necessary to identify invariants and create an invariant structure. How to best obtain such a structure, or even how to identify a good structure, is not clear. The purpose of this project is to develop a framework for evaluating invariant structures and structure identification schemes. To do this, we introduce a set of metrics, which are also evaluated. The evaluation shows that these metrics are useful for evaluating invariant structures and structure identification schemes. We introduce a notion of optimal invariant structures and show that these can in many cases be produced by simple structure identification schemes. Finally, we present a strategy that improves on these schemes and yields optimal invariant structures in even more cases.
| Identifer | oai:union.ndltd.org:UPSALLA1/oai:DiVA.org:uu-453097 |
| Date | January 2021 |
| Creators | Perea Düring, Max |
| Publisher | Uppsala universitet, Institutionen för informationsteknologi |
| Source Sets | DiVA Archive at Upsalla University |
| Language | English |
| Detected Language | English |
| Type | Student thesis, info:eu-repo/semantics/bachelorThesis, text |
| Format | application/pdf |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | UPTEC IT, 1401-5749 ; 21032 |
Page generated in 0.0033 seconds