Matching Multiplications in Bit-Vector Formulas.

Supratik Chakraborty Ashutosh Gupta Rahul Jain

Published in: CoRR (2016)

Keyphrases

bit vector
matching algorithm
bit vectors
pattern matching
feature points
image matching
optimal matching
graph matching
real time
case study
website
keypoints
first order logic
neural network
matching scheme
matching score
approximate matching
database