Proceedings-Artikel
Exact Template Matching Using Boolean Satisfiability
Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler
In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic . The International Symposium on Multiple-Valued Logic (ISMVL-13), 43rd, May 22-24, Toyama, Japan, IEEE, 2013.