@article{LodhaOrdyniakSzeider19,
 author = {Neha Lodha and
Sebastian Ordyniak and
Stefan Szeider},
 doi = {10.1145/3326159},
 journal = {ACM Transactions on Computational Logic},
 number = {3},
 pages = {15:1--15:24},
 title = {A {SAT} Approach to Branchwidth},
 url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-19-010.pdf},
 volume = {20},
 year = {2019}
}