Strong partial clones and the time complexity of SAT problems

Peter Jonsson, Victor Lagerkvist, Gustav Nordh, Bruno Zanuttini. Strong partial clones and the time complexity of SAT problems. J. Comput. Syst. Sci., 84:52-78, 2017. [doi]

Abstract

Abstract is missing.