Constraint Propagation in Kimmo Systems.

G. Edward Barton Jr.

Published in: ACL (1986)

Keyphrases

constraint propagation
constraint satisfaction problems
constraint programming
constraint satisfaction
constraint reasoning
constraint solving
linear programming
np complete
quantifier elimination
constraint solvers
backtracking algorithms
image sequences
qualitative and quantitative
interval analysis