@inproceedings{SchidlerSzeider22,
 author = {Andr\'{e} Schidler and Stefan Szeider},
 booktitle = {Proceedings of ALENEX 2022, the 24nd SIAM Symposium on
Algorithm Engineering and Experiments},
 doi = {10.1137/1.9781611977042.6},
 editor = {Cynthia A. Phillips and Bettina Speckmann},
 keywords = {reveal, slim},
 pages = {67--77},
 pdf = {https://epubs.siam.org/doi/pdf/10.1137/1.9781611977042.6},
 publisher = {SIAM},
 title = {A {SAT} Approach to Twin-Width},
 year = {2022}
}