Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.
Joseph ScottAina NiemetzMathias PreinerVijay GaneshPublished in: SMT (2020)
Keyphrases
- machine learning
- learning algorithm
- experimental evaluation
- preprocessing
- expectation maximization
- computational complexity
- np hard
- randomly generated
- improved algorithm
- tree structure
- particle swarm optimization
- k means
- optimal solution
- significant improvement
- dynamic programming
- computational cost
- input data
- objective function
- computationally efficient
- recognition algorithm
- neural network
- cost function
- simulated annealing
- similarity measure
- matching algorithm
- times faster
- computer vision