MedleySolver: Online SMT Algorithm Selection.
Nikhil PimpalkhareFederico MoraElizabeth PolgreenSanjit A. SeshiaPublished in: SAT (2021)
Keyphrases
- objective function
- cost function
- detection algorithm
- segmentation algorithm
- selection algorithm
- times faster
- similarity measure
- computational complexity
- single pass
- experimental evaluation
- computational cost
- optimization algorithm
- linear programming
- np hard
- significant improvement
- real time
- computationally efficient
- theoretical analysis
- multi objective
- k means
- clustering method
- simulated annealing
- convergence rate
- online algorithms
- classification algorithm
- worst case
- dynamic programming
- neural network