Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion.

Ian P. Gent Ian Miguel Andrea Rendl

Published in: SARA (2007)

Keyphrases

constraint solving
constraint solver
experimental data
test bed
database
case study
probabilistic model
constraint propagation
lower bound
graphical models
parameter estimation
complex systems
neural network model
bayesian framework
computational models
linear constraints