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
∙
03/13/2017
Orbital Graphs
We introduce orbital graphs and discuss some of their basic properties. ...
research
∙
02/04/2014