On Moderately Exponential Time for SAT.

Evgeny Dantsin, Alexander Wolpert

Browse the full SAT paper archive.