-
A Review of Literature on Parallel Constraint Solving
As multicore computing is now standard, it seems irresponsible for const...
03/29/2018 ∙ by Ian P. Gent, et al. ∙
0
∙
share
read it
-
Essence' Description
A description of the Essence' language as used by the tool Savile Row....
01/12/2016 ∙ by Peter Nightingale, et al. ∙
0
∙
share
read it
-
Generalized Support and Formal Development of Constraint Propagators
Constraint programming is a family of techniques for solving combinatori...
04/22/2015 ∙ by James Caldwell, et al. ∙
0
∙
share
read it
-
Short and Long Supports for Constraint Propagation
Special-purpose constraint propagation algorithms frequently make implic...
02/04/2014 ∙ by Peter Nightingale, et al. ∙
0
∙
share
read it
-
Qualitative Modelling via Constraint Programming: Past, Present and Future
Qualitative modelling is a technique integrating the fields of theoretic...
09/18/2012 ∙ by Thomas W. Kelsey, et al. ∙
0
∙
share
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...
08/25/2010 ∙ by Ian Gent, et al. ∙
0
∙
share
read it
