Hard Instances of Algorithms and Proof Systems.
Yijia ChenJörg FlumMoritz MüllerPublished in: ACM Trans. Comput. Theory (2014)
Keyphrases
- benchmark datasets
- recently developed
- management system
- data structure
- computational cost
- learning algorithm
- expert systems
- significant improvement
- intelligent systems
- computer systems
- machine learning algorithms
- data mining algorithms
- computationally hard
- benchmark instances
- convergence rate
- times faster
- computationally expensive
- complex systems
- computational complexity
- search engine