Paturi, et al.. An Improved Exponential-time Algorithm for K-sat. Association for Computing Machinery (ACM), May 2005, doi:10.1145/1066100.1066101.