Proof Tree Preserving Tree Interpolation.

Jürgen Christ Jochen Hoenicke

Published in: J. Autom. Reason. (2016)

Keyphrases

tree structure
tree construction
hierarchical structure
r tree
theorem proving
tree models
data sets
genetic algorithm
computer vision
website
multiscale
index structure
graph structure
binary tree
tree nodes