2 ms·
NP-hard SAT and CSP problems which admit exponentially improved algorithms
- cevi 5y agoThe arxiv version isn't very different from the published version, if you end up facing a paywall: https://arxiv.org/pdf/1801.09488.pdf https://arxiv.org/pdf/1801.09488.pdf