Ordinary interactive small-step algorithms, I.

Andreas Blass Yuri Gurevich

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

significant improvement
learning algorithm
computational cost
computationally efficient
computational complexity
knowledge discovery
times faster
combinatorial optimization
recently developed
support vector
optimization problems
post processing