Machine-Checked Proofs For Realizability Checking Algorithms.

Andreas Katis Andrew Gacek Michael W. Whalen

Published in: CoRR (2015)

Keyphrases

orders of magnitude
real time
computational cost
optimization problems
learning algorithm
artificial intelligence
significant improvement
computationally efficient
theoretical analysis
machine learning algorithms
data mining algorithms
times faster