Towards exploratory reformulation of constraint models
Abstract
It is well established that formulating an effective constraint model of a problem of interest is crucial to the efficiency with which it can subsequently be solved. Following from the observation that it is difficult, if not impossible, to know a priori which of a set of candidate models will perform best in practice, we envisage a system that explores the space of models through a process of reformulation from an initial model, guided by performance on a set of training instances from the problem class under consideration. We plan to situate this system in a refinement-based approach, where a user writes a constraint specification describing a problem above the level of abstraction at which many modelling decisions are made. In this position paper we set out our plan for an exploratory reformulation system, and discuss progress made so far.
Citation
Miguel , I J , Salamon , A Z & Stone , C L 2023 , ' Towards exploratory reformulation of constraint models ' , Paper presented at The Sixth Workshop on Progress Towards the Holy Grail , Toronto , Canada , 27/08/23 - 31/08/23 . workshop
Status
Peer reviewed
Type
Conference paper
Description
Funding: Ian Miguel: EPSRC grant EP/V027182/1; Christopher Stone: EPSRC grant EP/V027182/1.Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.