Hard instances of algorithms and proof systems.

Yijia Chen Jörg Flum Moritz Müller

Published in: Electron. Colloquium Comput. Complex. (2011)

Keyphrases

neural network
hard problems
recently developed
orders of magnitude
theoretical analysis

intelligent systems
computer vision algorithms
computer systems
data sets
management system

computational cost
learning algorithm
computationally efficient
computational complexity
data structure

times faster
reinforcement learning
information retrieval
run times