
Efficient Incremental Modelling and Solving
In various scenarios, a single phase of modelling and solving is either ...
read it

Exploring Instance Generation for Automated Planning
Many of the core disciplines of artificial intelligence have sets of sta...
read it

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...
read it

A Commentary on "Breaking Row and Column Symmetries in Matrix Models"
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix...
read it

Towards Improving Solution Dominance with Incomparability Conditions: A casestudy using Generator Itemset Mining
Finding interesting patterns is a challenging task in data mining. Const...
read it

Modelling Langford's Problem: A Viewpoint for Search
The performance of enumerating all solutions to an instance of Langford'...
read it

A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for const...
read it

Short and Long Supports for Constraint Propagation
Specialpurpose constraint propagation algorithms frequently make implic...
read it

Qualitative Modelling via Constraint Programming: Past, Present and Future
Qualitative modelling is a technique integrating the fields of theoretic...
read it

Modelling Constraint Solver Architecture Design as a Constraint Problem
Designing componentbased constraint solvers is a complex problem. Some ...
read it

Conjure Revisited: Towards Automated Constraint Modelling
Automating the constraint modelling process is one of the key challenges...
read it

Machine learning for constraint solver design  A case study for the alldifferent constraint
Constraint solvers are complex pieces of software which require many des...
read it

Using machine learning to make constraint solver implementation decisions
Programs to solve socalled constraint problems are complex pieces of so...
read it

Multiset Ordering Constraints
We identify a new and important global (or nonbinary) constraint. This ...
read it
Ian Miguel
is this you? claim profile