Exact Ttemplate Matching using Boolean Satisfiability

@inproceedings{pub8440,
    author = {

Abdessaied, Nabila
 and 

Soeken, Mathias
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Exact Ttemplate Matching using Boolean Satisfiability},
    booktitle = {International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS)},
    year = {2013},
    pages = {328--333},
    organization = {IEEE},
    publisher = {IEEE}
}