Using Stålmarck's Algorithm to Prove Inequalities.
Byron CookGeorges GonthierPublished in: ICFEM (2005)
Keyphrases
- computational cost
- learning algorithm
- times faster
- dynamic programming
- k means
- optimization algorithm
- experimental evaluation
- significant improvement
- matching algorithm
- detection algorithm
- computationally efficient
- high accuracy
- improved algorithm
- lower bound
- worst case
- objective function
- computational complexity
- cost function
- particle swarm optimization
- np hard
- neural network
- convergence rate
- multi objective
- constant factor