QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.
Maria Paola BonacinaStéphane Graham-LengrandChristophe VauthierPublished in: CADE (2023)
Keyphrases
- computational complexity
- dynamic programming
- improved algorithm
- high accuracy
- detection algorithm
- cost function
- simulated annealing
- experimental evaluation
- significant improvement
- computationally efficient
- optimization algorithm
- search space
- preprocessing
- optimal solution
- data sets
- times faster
- convergence rate
- theoretical analysis
- genetic algorithm
- np complete
- computational cost
- similarity measure
- learning algorithm
- segmentation algorithm
- linear programming
- worst case
- matching algorithm