A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.
Katherine CordwellYong Kiam TanAndré PlatzerPublished in: ITP (2021)
Keyphrases
- learning algorithm
- times faster
- optimization algorithm
- detection algorithm
- recognition algorithm
- k means
- computational cost
- experimental evaluation
- path planning
- segmentation algorithm
- theoretical analysis
- simulated annealing
- worst case
- dynamic programming
- np hard
- optimal solution
- estimation algorithm
- iterative procedure
- decision making
- high accuracy
- matching algorithm
- selection algorithm
- recursive algorithm
- probabilistic model
- cost function
- objective function
- computationally efficient
- data sets
- ant colony optimization
- significant improvement
- memory requirements
- preprocessing
- computational complexity
- improved algorithm
- similarity measure
- neural network