research
∙
02/26/2022
Automatic Tabulation in Constraint Models
The performance of a constraint model can often be improved by convertin...
share
research
∙
11/03/2021
Effective guessing has unlikely consequences
A classic result of Paul, Pippenger, Szemerédi and Trotter states that D...
research
∙
11/01/2021
Towards Reformulating Essence Specifications for Robustness
The Essence language allows a user to specify a constraint problem at a ...
research
∙
09/21/2020
Exploring Instance Generation for Automated Planning
Many of the core disciplines of artificial intelligence have sets of sta...
research
∙
08/15/2020
Stronger Lower Bounds for Polynomial Time Problems
We introduce techniques for proving stronger conditional lower bounds fo...
research
∙
03/08/2011
