TY  - RPRT
TI  - Solving SAT via Treewidth Backdoors in Linear Time: Beyond Sparsity
AU  - Jan Dreier
AU  - Robert Ganian
AU  - Marlene Gründel
AU  - Roohani Sharma
AU  - Simon Wietheger
PY  - 2026
UR  - https://arxiv.org/abs/2610.18540
ID  - 2610.18540
ER  -