System F with coercion constraints.

Julien Cretin Didier Rémy

Published in: CSL-LICS (2014)

Keyphrases

constraint satisfaction
constrained optimization
databases
bayesian networks
constraint programming
genetic algorithm
information systems
decision making
image processing
three dimensional
multiresolution
constraint propagation
global constraints
physical constraints