@misc{indiciaeee9af3f77f89,
  title = {Solving SAT via Treewidth Backdoors in Linear Time: Beyond Sparsity},
  author = {Jan Dreier and Robert Ganian and Marlene Gründel and Roohani Sharma and Simon Wietheger},
  year = {2026},
  url = {https://arxiv.org/abs/2610.18540},
  note = {Source identifier: 2610.18540}
}