@inproceedings{DBLP:conf/sat/FichteLS17, author = {Fichte, Johannes Klaus and Lodha, Neha and Szeider, Stefan}, title = {SAT-Based Local Improvement for Finding Tree Decompositions of Small Width}, booktitle = {{SAT}}, series = {Lecture Notes in Computer Science}, volume = {10491}, pages = {401--411}, publisher = {Springer}, year = {2017} }