A Time Lower Bound for Satisfiability.

Dieter van Melkebeek, Ran Raz

Browse the full ICALP paper archive.