Files in this item
Towards exploratory reformulation of constraint models
Item metadata
dc.contributor.author | Miguel, Ian James | |
dc.contributor.author | Salamon, András Z. | |
dc.contributor.author | Stone, Christopher Luciano | |
dc.date.accessioned | 2023-11-21T10:30:05Z | |
dc.date.available | 2023-11-21T10:30:05Z | |
dc.date.issued | 2023-07-27 | |
dc.identifier | 296737961 | |
dc.identifier | a75ec45a-6935-48ca-afda-7fc3bf82e4eb | |
dc.identifier.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 . | en |
dc.identifier.citation | workshop | en |
dc.identifier.other | ORCID: /0000-0002-1415-9712/work/147472683 | |
dc.identifier.other | ORCID: /0000-0002-6930-2686/work/147472738 | |
dc.identifier.uri | https://hdl.handle.net/10023/28735 | |
dc.description | Funding: Ian Miguel: EPSRC grant EP/V027182/1; Christopher Stone: EPSRC grant EP/V027182/1. | en |
dc.description.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. | |
dc.format.extent | 13 | |
dc.format.extent | 773600 | |
dc.language.iso | eng | |
dc.subject | Exploratory reformulation | en |
dc.subject | Graph rewriting | en |
dc.subject | Essence | en |
dc.subject | Constraint programming | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject.lcc | QA75 | en |
dc.title | Towards exploratory reformulation of constraint models | en |
dc.type | Conference paper | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.contributor.institution | University of St Andrews. Institute of Behavioural and Neural Sciences | en |
dc.contributor.institution | University of St Andrews. Sir James Mackenzie Institute for Early Diagnosis | en |
dc.description.status | Peer reviewed | en |
dc.identifier.url | https://freuder.wordpress.com/progress-towards-the-holy-grail-workshops/pthg-23-the-sixth-workshop-on-progress-towards-the-holy-grail/ | en |
dc.identifier.grantnumber | EP/V027182/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.