Login / Signup

Accelerating SAT-Based Boolean Matching for Heterogeneous FPGAs Using One-Hot Encoding and CEGAR Technique.

Yusuke Matsunaga
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2016)
Keyphrases
  • pattern matching
  • feature points
  • matching algorithm
  • graph matching
  • boolean functions
  • answer set programming
  • sat encodings
  • image matching
  • real valued
  • sat solvers
  • feature matching
  • encoding scheme