Publikation

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. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013) 43rd May 22-24 Toyama Japan IEEE 2013.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence