Automated Verification of the Parallel Bellman-Ford Algorithm.
Mohsen SafariWytse OortwijnMarieke HuismanPublished in: SAS (2021)
Keyphrases
- detection algorithm
- objective function
- computational cost
- dynamic programming
- learning algorithm
- parallel implementation
- linear programming
- np hard
- preprocessing
- cost function
- search space
- computational complexity
- worst case
- optimal solution
- expectation maximization
- optimization algorithm
- neural network
- significant improvement
- artificial intelligence
- combinatorial optimization
- convergence rate
- process planning
- automated verification