Reasoning about Quantifiers in SMT: The QSMA algorithm.
Maria Paola BonacinaPublished in: FMCAD (2023)
Keyphrases
- experimental evaluation
- improved algorithm
- computationally efficient
- theoretical analysis
- detection algorithm
- high accuracy
- computational cost
- times faster
- dynamic programming
- cost function
- convergence rate
- search space
- recognition algorithm
- optimal solution
- selection algorithm
- simulated annealing
- matching algorithm
- experimental study
- single pass
- data sets
- preprocessing
- image sequences
- expectation maximization
- optimization algorithm
- support vector machine
- probabilistic model
- path planning
- np hard
- k means
- learning algorithm
- estimation algorithm
- genetic algorithm