MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.

Joseph Scott Aina Niemetz Mathias Preiner Saeed Nejati Vijay Ganesh

Published in: TACAS (2) (2021)

Keyphrases

search strategy
machine learning
improved algorithm
decision trees
cost function
experimental evaluation
times faster
learning algorithm
data structure
high accuracy
input data
particle filter
expectation maximization
segmentation algorithm
detection algorithm