1. Exact algorithms for NP-hard problems: a survey;Woeginger,2000
2. Lower bounds based on the exponential time hypothesis;Lokshtanov;Bull. Eur. Assoc. Theor. Comput. Sci.,2011
3. Graph properties checkable in linear time in the number of vertices;Grandjean;J. Comput. Syst. Sci.,2004
4. Strong partial clones and the time complexity of SAT problems;Jonsson;J. Comput. Syst. Sci.,2017
5. A dichotomy theorem for nonuniform CSPs;Bulatov,2017