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.
Original languageEnglish
Number of pages13
Publication statusPublished - 27 Jul 2023
EventThe Sixth Workshop on Progress Towards the Holy Grail - University of Toronto, Toronto, Canada
Duration: 27 Aug 202331 Aug 2023


WorkshopThe Sixth Workshop on Progress Towards the Holy Grail
Abbreviated titlePTHG-23
Internet address


  • Exploratory reformulation
  • Graph rewriting
  • Essence
  • Constraint programming


Dive into the research topics of 'Towards exploratory reformulation of constraint models'. Together they form a unique fingerprint.

Cite this