Certification of Breadth-First Algorithms by Extraction.
Dominique Larchey-WendlingRalph MatthesPublished in: MPC (2019)
Keyphrases
- orders of magnitude
- computationally efficient
- benchmark datasets
- neural network
- times faster
- machine learning algorithms
- optimization problems
- theoretical analysis
- computational complexity
- computationally expensive
- recently developed
- software engineering
- data model
- website
- image processing
- heuristic search
- real time
- graph theory
- memory efficient
- depth first search