An improved exponential-time algorithm for k -SAT
scientific article