$k$-SAT is one of the best known among a wide class of random constraint satisfaction problems believed to exhibit a threshold phenomenon where the control parameter is the ratio, number of constraints to number of variables. There has been a large amount of work towards estimating the 3-SAT threshold. We ... more >>>