7 papers
The Winnability of Klondike Solitaire and Many Other Patience Games
Charlie Blake, Ian P. Gent
Our ignorance of the winnability percentage of the solitaire card game `Klondike' has been described as ``one of the embarrassments of applied mathematics''. Klondike, the game in…
From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning
Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo +1
The primary objective of a diverse planning approach is to generate a set of plans that are distinct from one another. Such an approach is applied in a variety of real-world domain…
Faster Symmetry Breaking Constraints for Abstract Structures
Ãzgür Akgün, Mun See Chang, Ian P. Gent +1
In constraint programming and related paradigms, a modeller specifies their problem in a modelling language for a solver to search and return its solution(s). Using high-level mode…
Diverse Planning with Simulators via Linear Temporal Logic
Mustafa F. Abdelwahed, Alice Toniolo, Joan Espasa +1
Autonomous agents rely on automated planning algorithms to achieve their objectives. Simulation-based planning offers a significant advantage over declarative models in modelling c…
Behaviour Planning: A Toolkit for Diverse Planning
Mustafa F Abdelwahed, Joan Espasa, Alice Toniolo +1
Diverse planning approaches are utilised in real-world applications like risk management, automated streamed data analysis, and malware detection. The current diverse planning form…
TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
Ãzgür Akgün, Ian P. Gent, Christopher Jefferson +5
The performance of a constraint model can often be improved by converting a subproblem into a single table constraint (referred to as tabulation). Finding subproblems to tabulate i…