A case study on algorithm discovery from proofs: The insert function on binary trees.

Isabela Dramnesc Tudor Jebelean Sorin Stratulat

Published in: SACI (2016)

Keyphrases

binary trees
optimal solution
objective function
hamming distance
data structure
feature space
np hard
knowledge representation
tree structure