-
A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for const...
read it
-
Essence' Description
A description of the Essence' language as used by the tool Savile Row....
read it
-
Generalized Support and Formal Development of Constraint Propagators
Constraint programming is a family of techniques for solving combinatori...
read it
-
Short and Long Supports for Constraint Propagation
Special-purpose 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
-
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

Peter Nightingale
is this you? claim profile