Neha Lodha, Sebastian Ordyniak, Stefan Szeider. A SAT Approach to Branchwidth. ACM Trans. Comput. Log., 20(3), 2019. [doi]
@article{LodhaOS19, title = {A SAT Approach to Branchwidth}, author = {Neha Lodha and Sebastian Ordyniak and Stefan Szeider}, year = {2019}, doi = {10.1145/3326159}, url = {https://doi.org/10.1145/3326159}, researchr = {https://researchr.org/publication/LodhaOS19}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Log.}, volume = {20}, number = {3}, }