Algorithms for Graphs of (Locally) Bounded TreewidthThe satisfiability threshold for random 3-SAT is at least 3.52
