Formal verification of change making algorithms.

Nadeem Abdul Hamid Brook Bowers

Published in: ACM Southeast Regional Conference (2013)

Keyphrases

formal verification
data structure
significant improvement
computational complexity
computationally efficient
times faster
data sets
learning algorithm
benchmark datasets