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 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 • 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.
1 code implementation • 29 May 2022 • Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
This separation presents an opportunity for automated approaches to generate instance data that define instances that are graded (solvable at a certain difficulty level for a solver) or can discriminate between two solving approaches.
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 • 27 Oct 2021 • Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
Plotting is an example of a planning problem: given a model of the environment, a planning problem asks us to find a sequence of actions that can lead from an initial state of the environment to a given goal state while respecting some constraints.
no code implementations • 23 Sep 2020 • Gökberk Koçak, Özgür Akgün, Nguyen Dang, Ian Miguel
The contribution of this work is to enable a native interaction between SAT solvers and the automated modelling system Savile Row to support efficient incremental modelling and solving.
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 • 21 Sep 2020 • Patrick Spracklen, Nguyen Dang, Özgür Akgün, Ian Miguel
Augmenting a base constraint model with additional constraints can strengthen the inferences made by a solver and therefore reduce search effort.
no code implementations • 3 Oct 2019 • Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix Models" by Flener et al. (https://link. springer. com/chapter/10. 1007%2F3-540-46135-3_31) describes some of the first work for identifying and analyzing row and column symmetry in matrix models and for efficiently and effectively dealing with such symmetry using static symmetry-breaking ordering constraints.
1 code implementation • 1 Oct 2019 • Gökberk Koçak, Özgür Akgün, Tias Guns, Ian Miguel
In this paper, in addition to specifying a dominance relation, we introduce the ability to specify an incomparability condition.
1 code implementation • 29 Aug 2018 • Özgür Akgün, Ian Miguel
We empirically show that a channelled model with a static branching order on one of the viewpoints offers the best performance out of all the options we consider.
no code implementations • 29 Mar 2018 • Ian P. Gent, Ciaran McCreesh, Ian Miguel, Neil C. A. Moore, Peter Nightingale, Patrick Prosser, Chris Unsworth
As multicore computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it.
no code implementations • 4 Feb 2014 • Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel
We also introduce a variant algorithm HaggisGAC-Stable, which is adapted to avoid work on backtracking and in some cases can be faster and have significant reductions in memory use.