research
∙
05/29/2022
A Framework for Generating Informative Benchmark Instances
Benchmarking is an important tool for assessing the relative performance...
share
research
∙
02/26/2022
Automatic Tabulation in Constraint Models
The performance of a constraint model can often be improved by convertin...
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/23/2020
Efficient Incremental Modelling and Solving
In various scenarios, a single phase of modelling and solving is either ...
research
∙
09/21/2020
Exploring Instance Generation for Automated Planning
Many of the core disciplines of artificial intelligence have sets of sta...
research
∙
09/21/2020
Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced Academic Curriculum Problem
Augmenting a base constraint model with additional constraints can stren...
research
∙
10/01/2019
Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining
Finding interesting patterns is a challenging task in data mining. Const...
research
∙
10/01/2019
Conjure Documentation, Release 2.3.0
Conjure is an automated modelling tool for Constraint Programming. In th...
research
∙
08/29/2018
Memory Consistency Models using Constraints
Memory consistency models (MCMs) are at the heart of concurrent programm...
research
∙
08/29/2018
Modelling Langford's Problem: A Viewpoint for Search
The performance of enumerating all solutions to an instance of Langford'...
research
∙
08/06/2017
Declarative Statistics
In this work we introduce declarative statistics, a suite of declarative...
research
∙
11/28/2016
The BIN_COUNTS Constraint: Filtering and Applications
We introduce the BIN_COUNTS constraint, which deals with the problem of ...
research
∙
09/08/2011