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
∙
10/27/2021
A Preliminary Case Study of Planning With Complex Transitions: Plotting
Plotting is a tile-matching puzzle video game published by Taito in 1989...
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/03/2019
A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix...
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
∙
08/29/2018
Modelling Langford's Problem: A Viewpoint for Search
The performance of enumerating all solutions to an instance of Langford'...
research
∙
03/29/2018
A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for const...
research
∙
02/04/2014
Short and Long Supports for Constraint Propagation
Special-purpose constraint propagation algorithms frequently make implic...
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
Modelling Constraint Solver Architecture Design as a Constraint Problem
Designing component-based constraint solvers is a complex problem. Some ...
research
∙
09/08/2011
Conjure Revisited: Towards Automated Constraint Modelling
Automating the constraint modelling process is one of the key challenges...
research
∙
08/25/2010
Machine learning for constraint solver design -- A case study for the alldifferent constraint
Constraint solvers are complex pieces of software which require many des...
research
∙
05/19/2010
Using machine learning to make constraint solver implementation decisions
Programs to solve so-called constraint problems are complex pieces of so...
research
∙
05/22/2009
