3 papers
cs.DM2023
Composable Constraint Models for Permutation Enumeration
Ruth Hoffmann, Özgür Akgün, Christopher Jefferson
Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is th…
cs.AI2023
Towards Automatic Design of Factorio Blueprints
Sean Patterson, Joan Espasa, Mun See Chang +1
Factorio is a 2D construction and management simulation video game about building automated factories to produce items of increasing complexity. A core feature of the game is its b…
cs.AI2021
Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
Joan Espasa, Ian P. Gent, Ruth Hoffmann +4
In this paper, we present Demystify, a general tool for creating human-interpretable step-by-step explanations of how to solve a wide range of pen and paper puzzles from a high-lev…