10 citations · 10 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2023
Towards a Model of Puzznic
Joan Espasa, Ian P. Gent, Ian Miguel +3
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. We focus here on levels wit…
cs.AI2023
Challenges in Modelling and Solving Plotting with PDDL
Joan Espasa, Ian Miguel, Peter Nightingale +2
We study a planning problem based on Plotting, a tile-matching puzzle video game published by Taito in 1989. The objective of this game is to remove a target number of coloured blo…
cs.AI2010★ 10 cited
Machine learning for constraint solver design -- A case study for the alldifferent constraint
Ian Gent, Lars Kotthoff, Ian Miguel +1
Constraint solvers are complex pieces of software which require many design decisions to be made by the implementer based on limited information. These decisions affect the perform…