Constraint Propagation: Between Abstract Models and ad hoc Strategies.

Laurent Granvilliers Éric Monfroy

Published in: CP (2000)

Keyphrases

constraint propagation
constraint satisfaction problems
constraint reasoning
constraint programming
quantifier elimination
database systems
database
constraint satisfaction
constraint solving
databases
genetic algorithm
reinforcement learning
search space
arc consistency
soft constraints