An Efficient Decision Procedure for Imperative Tree Data Structures.
Thomas WiesMarco MuñizViktor KuncakPublished in: CADE (2011)
Keyphrases
- data structure
- tree structure
- decision making
- b tree
- decision makers
- suffix tree
- linked list
- tree structures
- kd trees
- index structure
- main memory
- wavelet tree
- decision rules
- databases
- iterative procedure
- indexing structure
- tree models
- binary search trees
- tree nodes
- tree construction
- pruning algorithm
- r tree
- binary tree
- decision process
- hierarchical structure
- data types
- pattern matching
- computationally efficient
- decision trees
- machine learning
- real world
- neural network