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