@inproceedings{LodhaOrdyniakSzeider16,
 author = {Neha Lodha and Sebastian Ordyniak and Stefan Szeider},
 booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
 doi = {10.1007/978-3-319-40970-2_12},
 editor = {Nadia Creignou and
Daniel Le Berre},
 institution = {Algorithms and Complexity Group, TU Wien},
 keywords = {branchwidth, local-improvement},
 number = {AC-TR-16-004},
 pages = {179--195},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {A {SAT} Approach to Branchwidth},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-16-004.pdf},
 volume = {9710},
 year = {2016}
}