On the Possibility of Faster SAT Algorithms.

Mihai Patrascu, Ryan Williams

Browse the full SODA paper archive.