@inproceedings{DGGSW27,
 author = {Jan Dreier and Robert Ganian and Marlene Gr{ü}ndel and Roohani Sharma and Simon Wietheger},
 booktitle = {Proceedings of the 2027 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)},
 keywords = {ParAI,PGD},
 note = {to appear},
 source_file = {publications-web.bib},
 title = {Solving SAT via Treewidth Backdoors in Linear Time: Beyond Sparsity},
 year = {2027}
}