Exact Template Matching Using Boolean Satisfiability

@inproceedings{pub6684,
    author = {

Abdessaied, Nabila
 and 

Soeken, Mathias
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Exact Template Matching Using Boolean Satisfiability},
    booktitle = {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},
    year = {2013},
    publisher = {IEEE}
}