Lifted reasoning for combinatorial counting
Combinatorics math problems are often used as a benchmark to test human cognitive and
logical problem-solving skills. These problems are concerned with counting the number of …
logical problem-solving skills. These problems are concerned with counting the number of …
[HTML][HTML] Automated streamliner portfolios for constraint satisfaction problems
Constraint Programming (CP) is a powerful technique for solving large-scale combinatorial
problems. Solving a problem proceeds in two distinct phases: modelling and solving …
problems. Solving a problem proceeds in two distinct phases: modelling and solving …
A graph transformation-based engine for the automated exploration of constraint models
C Stone, AZ Salamon, I Miguel - International Conference on Graph …, 2024 - Springer
In this demonstration, we present an engine leveraging graph transformations for the
automated reformulation of constraint specifications of combinatorial search problems …
automated reformulation of constraint specifications of combinatorial search problems …
Using small muses to explain how to solve pen and paper puzzles
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-level …
step explanations of how to solve a wide range of pen and paper puzzles from a high-level …
[HTML][HTML] Athanor: Local search over abstract constraint specifications
Local search is a common method for solving combinatorial optimisation problems. We
focus on general-purpose local search solvers that accept as input a constraint model—a …
focus on general-purpose local search solvers that accept as input a constraint model—a …
Automatic Feature Learning for Essence: a Case Study on Car Sequencing
Constraint modelling languages such as Essence offer a means to describe combinatorial
problems at a high-level, ie, without committing to detailed modelling decisions for a …
problems at a high-level, ie, without committing to detailed modelling decisions for a …
Survey of Methods, Resources, and Formats for Teaching Constraint Programming
T Santanam, H Simonis - arXiv preprint arXiv:2403.12717, 2024 - arxiv.org
This paper provides an overview of the state of teaching for Constraint Programming, based
on a survey of the community for the 2023 Workshop on Teaching Constraint Programming …
on a survey of the community for the 2023 Workshop on Teaching Constraint Programming …
Towards exploratory reformulation of constraint models
I Miguel, AZ Salamon, C Stone - arXiv preprint arXiv:2311.11868, 2023 - arxiv.org
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. Following from the …
crucial to the efficiency with which it can subsequently be solved. Following from the …
Composable Constraint Models for Permutation Enumeration
R Hoffmann, Ö Akgün… - Discrete Mathematics & …, 2025 - dmtcs.episciences.org
This approach enables mathematicians to investigate permutation pattern problems in a
quick and efficient manner. We demonstrate the utility of constraint programming for …
quick and efficient manner. We demonstrate the utility of constraint programming for …
Towards High-Level Modelling in Automated Planning
Planning is a fundamental activity, arising frequently in many contexts, from daily tasks to
industrial processes. The planning task consists of selecting a sequence of actions to …
industrial processes. The planning task consists of selecting a sequence of actions to …