Self-Consistency Checking.

Robert B. Jones Carl-Johan H. Seger David L. Dill

Published in: FMCAD (1996)

Keyphrases

consistency checking
stochastic search
query answering
temporal reasoning
temporal constraints
databases
data sets
constraint satisfaction problems
path consistency
cooperative
state space
data exchange
constraint programming
global consistency