Inductive Time-Space Lower Bounds for Sat and Related Problems - Williams, Ryan (Computational complexity, 2006)