Full Citation:
Jan Dreier; Robert Ganian; Marlene Gründel; Roohani Sharma; Simon Wietheger. Solving SAT via Treewidth Backdoors in Linear Time: Beyond Sparsity. (Note: to appear)