Matching Multiplications in Bit-Vector Formulas.

Supratik Chakraborty Ashutosh Gupta Rahul Jain

Published in: VMCAI (2017)

Keyphrases

bit vector
graph matching
databases
matching algorithm
mathematical formulas
neural network
computer vision
matching process
approximate matching
correspondence matching
bit vectors
machine learning
website
image matching
shape matching
matching scheme