The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems
scientific article; zbMATH DE number 7592189