Login / Signup
A short proof of the tree-packing theorem.
Tomás Kaiser
Published in:
Discret. Math. (2012)
Keyphrases
</>
interactive theorem proving
packing problem
tree construction
tree structure
tree models
database
machine learning
database systems
theorem prover
von neumann
pruning algorithm
index structure
tree structures
tree search
mathematical proofs