Sign in
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema.
Isabela Dramnesc
Tudor Jebelean
Published in:
MACIS (2019)
Keyphrases
</>
binary trees
search algorithm
search space
search methods
graph theory