Ryan Williams Better Time-Space Lower Bounds for SAT and Related Problems. 40-49 2005 conf/coco/2005 IEEE Conference on Computational Complexity http://dx.doi.org/10.1109/CCC.2005.6 db/conf/coco/coco2005.html#Williams05