QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.

Maria Paola Bonacina Stéphane Graham-Lengrand Christophe Vauthier

Published 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