no code implementations • 20 Nov 2023 • 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.
no code implementations • 2 Oct 2023 • Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
We report on progress in modelling and solving Puzznic, a video game requiring the player to plan sequences of moves to clear a grid by matching blocks.
no code implementations • 2 Oct 2023 • Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
We study a planning problem based on Plotting, a tile-matching puzzle video game published by Taito in 1989.
no code implementations • 26 Feb 2022 • Özgür Akgün, Ian P. Gent, Christopher Jefferson, Zeynep Kiziltan, Ian Miguel, Peter Nightingale, András Z. Salamon, Felix Ulrich-Oltean
The performance of a constraint model can often be improved by converting a subproblem into a single table constraint.
no code implementations • 1 Nov 2021 • Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon
The Essence language allows a user to specify a constraint problem at a level of abstraction above that at which constraint modelling decisions are made.
no code implementations • 21 Sep 2020 • Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone
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.
no code implementations • 8 Mar 2011 • David A. Cohen, Martin C. Cooper, Páidí Creed, András Z. Salamon
We show that this framework generalises relational properties and allows us to capture known hybrid tractable classes.