@inproceedings{SV09SAT,
    author = {Samer, Marko and Veith, Helmut},
    title = {Encoding Treewidth into {SAT}},
    booktitle = {Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT'09)},
    editor = {Kullmann, Oliver},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {5584},
    pages = {45--50},
    year = {2009},
    isbn = {978-3-642-02776-5}
}