3 papers
cs.AI2024
Automating Reformulation of Essence Specifications via Graph Rewriting
Ian Miguel, András Z. Salamon, Christopher Stone
Formulating an effective constraint model of a parameterised problem class is crucial to the efficiency with which instances of the class can subsequently be solved. It is difficul…
cs.AI2023
Towards Exploratory Reformulation of Constraint Models
Ian Miguel, András Z. Salamon, Christopher Stone
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…
cs.AI2020
Exploring Instance Generation for Automated Planning
Özgür Akgün, Nguyen Dang, Joan Espasa +3
Many of the core disciplines of artificial intelligence have sets of standard benchmark problems well known and widely used by the community when developing new algorithms. Constra…