Ryan Williams. Better Time-Space Lower Bounds for SAT and Related Problems. In 20th Annual IEEE Conference on Computational Complexity (CCC 2005), 11-15 June 2005, San Jose, CA, USA. pages 40-49, IEEE Computer Society, 2005. [doi]
Abstract is missing.