@inproceedings{LodhaOrdyniakSzeider17b,
 author = {Neha Lodha and
Sebastian Ordyniak and
Stefan Szeider},
 booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
 doi = {10.24963/ijcai.2017/689},
 editor = {Carles Sierra},
 keywords = {branchwidth, local-improvement},
 note = {Sister Conference Best Paper Track},
 pages = {4894--4898},
 publisher = {ijcai.org},
 title = {A {SAT} Approach to Branchwidth},
 url = {https://www.ijcai.org/proceedings/2017/0689.pdf},
 year = {2017}
}