@inproceedings{SchidlerSzeider23,
 author = {Andre Schidler and Stefan Szeider},
 booktitle = {The 32nd International Joint Conference on Artificial
Intelligence (IJCAI-23), August 19--25, 2023, Macao, S.A.R.},
 doi = {10.24963/IJCAI.2023/224},
 editor = {Edith Elkind},
 keywords = {reveal, slim},
 note = {Main Track},
 pages = {2013--2021},
 publisher = {International Joint Conferences on Artificial
Intelligence Organization},
 title = {Computing twin-width with {SAT} and branch \& bound},
 url = {https://doi.org/10.24963/ijcai.2023/224},
 year = {2023}
}