Formalizing Local Constraint Propagation Methods.

Angi Voß Hans Voß

Published in: KIFS (1987)

Keyphrases

constraint propagation
constraint programming
databases
search space
constraint satisfaction problems
database
constraint satisfaction
constrained optimization
constraint reasoning
interval arithmetic
quantifier elimination