A Symbiotic Approach to Arc and Path Consistency Checking.

Pierre Berlandier

Published in: EPIA (1995)

Keyphrases

consistency checking
stochastic search
query answering
temporal reasoning
shortest path
temporal constraints
constraint satisfaction problems
database
search algorithm
upper bound
optimal path