13 citations · 21 across the 8 of their papers we have counts for
3 papers · 1 filter
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…
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…
Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Many constraint satisfaction and optimisation problems can be solved effectively by encoding them as instances of the Boolean Satisfiability problem (SAT). However, even the simple…