research
∙
02/26/2022
Automatic Tabulation in Constraint Models
The performance of a constraint model can often be improved by convertin...
share
research
∙
11/01/2021
Towards Reformulating Essence Specifications for Robustness
The Essence language allows a user to specify a constraint problem at a ...
research
∙
04/30/2021
Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
Pen and paper puzzles like Sudoku, Futoshiki and Skyscrapers are hugely ...
research
∙
06/28/2019
The Winnability of Klondike and Many Other Single-Player Card Games
The most famous single-player card game is 'Klondike', but our ignorance...
research
∙
03/29/2018
A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for const...
research
∙
04/22/2015
Generalized Support and Formal Development of Constraint Propagators
Constraint programming is a family of techniques for solving combinatori...
research
∙
04/12/2013
The Recomputation Manifesto
Replication of scientific experiments is critical to the advance of scie...
research
∙
09/18/2012
Qualitative Modelling via Constraint Programming: Past, Present and Future
Qualitative modelling is a technique integrating the fields of theoretic...
research
∙
10/28/2011