Synthesis of list algorithms by mechanical proving.

Isabela Dramnesc Tudor Jebelean

Published in: J. Symb. Comput. (2015)

Keyphrases

computational complexity
benchmark datasets
orders of magnitude
theoretical analysis
learning algorithm
recently developed
case study
evolutionary algorithm
significant improvement
computationally efficient
computationally expensive
efficient implementation