Quantifier Instantiation Beyond E-Matching.

Andrew Reynolds

Published in: SMT (2017)

Keyphrases

matching algorithm
graph matching
pattern matching
data sets
pattern recognition
matching process
optimal matching
feature points
image matching
template matching
database
neural network
machine learning