Accelerating SAT-based Boolean matching for heterogeneous FPGAs using one-hot encoding and CEGAR technique.

Yusuke Matsunaga

Published in: ASP-DAC (2015)

Keyphrases

sat encodings
matching algorithm
real valued
feature matching
answer set programming
image matching
boolean functions
pattern matching
keypoints
shape matching
boolean satisfiability