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

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

Browse the full SACI paper archive.