Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving.

Stefan Ratschan

Published in: J. Univers. Comput. Sci. (2000)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint programming
constraint solver
uncertain data
distributive lattices
temporal reasoning
upper bound