Proof Pearl: Constructive Extraction of Cycle Finding Algorithms.
Dominique Larchey-WendlingPublished in: ITP (2018)
Keyphrases
- recently developed
- learning algorithm
- times faster
- theoretical analysis
- benchmark datasets
- computational complexity
- computational cost
- machine learning algorithms
- case study
- graph theory
- lower bound
- optimization problems
- computationally efficient
- data structure
- orders of magnitude
- classification algorithm
- computationally expensive
- database
- causal models