@inproceedings{ijcai2017p689, author = {Neha Lodha and Sebastian Ordyniak and Stefan Szeider}, title = {A SAT Approach to Branchwidth}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {4894--4898}, year = {2017}, doi = {10.24963/ijcai.2017/689}, url = {https://doi.org/10.24963/ijcai.2017/689}, }