Benchmarking is an important tool for assessing the relative performance...
The performance of a constraint model can often be improved by convertin...
The Essence language allows a user to specify a constraint problem at a ...
Plotting is a tile-matching puzzle video game published by Taito in 1989...
In various scenarios, a single phase of modelling and solving is either ...
Many of the core disciplines of artificial intelligence have sets of sta...
Augmenting a base constraint model with additional constraints can stren...
The CP 2002 paper entitled "Breaking Row and Column Symmetries in Matrix...
Finding interesting patterns is a challenging task in data mining. Const...
The performance of enumerating all solutions to an instance of Langford'...
As multicore computing is now standard, it seems irresponsible for
const...
Special-purpose constraint propagation algorithms frequently make implic...
Qualitative modelling is a technique integrating the fields of theoretic...
Designing component-based constraint solvers is a complex problem. Some
...
Automating the constraint modelling process is one of the key challenges...
Constraint solvers are complex pieces of software which require many des...
Programs to solve so-called constraint problems are complex pieces of
so...
We identify a new and important global (or non-binary) constraint. This
...