Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler. Exact Template Matching Using Boolean Satisfiability. In 43rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, May 22-24, 2013. pages 328-333, IEEE, 2013. [doi]
Abstract is missing.