Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets.

Isabela Dramnesc Tudor Jebelean

Published in: SISY (2019)

Keyphrases

binary trees
case study
optimal solution
computational complexity
search space
np hard
hierarchical structure
memory efficient
series parallel