The asymptotic $k$-SAT threshold

Amin Coja-Oghlan, Konstantinos Panagiotou

Since the early 2000s physicists have developed an ingenious but non-rigorous formalism called the cavity method to put forward precise conjectures on phase transitions in random p…