A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm.
Katherine CordwellYong Kiam TanAndré PlatzerPublished in: CoRR (2021)
Keyphrases
- cost function
- objective function
- learning algorithm
- recursive algorithm
- significant improvement
- improved algorithm
- matching algorithm
- iterative procedure
- dynamic programming
- experimental evaluation
- graph based algorithm
- data sets
- convergence rate
- clustering method
- detection algorithm
- computational complexity
- theoretical analysis
- segmentation algorithm
- linear programming
- simulated annealing
- high accuracy
- path planning
- times faster
- probabilistic model
- computational cost
- search algorithm
- optimal solution