Login / Signup
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