Boolean Algebraic Programs as a Methodology for Symbolically Demonstrating Lower and Upper Bounds of Algorithms and Determinism.

Daniel McCormack

Published in: CoRR (2014)

Keyphrases

lower and upper bounds
lower bound
upper bound
upper and lower bounds
learning algorithm
computational complexity
optimization problems
computationally efficient
worst case
theoretical analysis
exact and approximate