Flexible consistency checking.

Christian Nentwich Wolfgang Emmerich Anthony Finkelstein Ernst Ellmer

Published in: ACM Trans. Softw. Eng. Methodol. (2003)

Keyphrases

consistency checking
stochastic search
query answering
lightweight
temporal reasoning
temporal constraints
path consistency
database
upper bound
image classification
arc consistency
cardinal directions