TY  - RPRT
TI  - Which NP-Hard SAT and CSP Problems Admit Exponentially Improved Algorithms?
AU  - Victor Lagerkvist
AU  - Magnus Wahlström
PY  - 2018
UR  - https://arxiv.org/abs/1801.09488
ID  - 1801.09488
ER  -