NP-hard SAT and CSP problems which admit exponentially improved algorithms (dl.acm.org)

The arxiv version isn't very different from the published version, if you end up facing a paywall: https://arxiv.org/pdf/1801.09488.pdf