Handling Global Constraints in Compiler Strategy.

Erven Rohou François Bodin Christine Eisenbeis André Seznec

Published in: Int. J. Parallel Program. (2000)

Keyphrases

global constraints
constraint programming
integer programming
boltzmann machine
symmetry breaking
boolean constraints
weighted constraint satisfaction
constraint satisfaction problems
parameterized complexity
search space
general purpose
dynamic environments
reinforcement learning
arc consistency