Complexity of SAT Problems, Clone Theory and the Exponential Time Hypothesis.

Peter Jonsson, Victor Lagerkvist, Gustav Nordh, Bruno Zanuttini

Browse the full SODA paper archive.