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