Implications of a Data Structure Consistency Checking System.

Viktor Kuncak Patrick Lam Karen Zee Martin C. Rinard

Published in: VSTTE (2005)

Keyphrases

consistency checking
data structure
stochastic search
query answering
temporal constraints
temporal reasoning
efficient data structures
databases
computer vision
dynamic programming
constraint satisfaction problems
data types
database
query processing
image classification
path consistency