1 paper · 1 filter
Ioannis Caragiannis, Nick Gravin, Zhile Jiang
The problem of identifying the satisfiability threshold of random 3-SAT formulas has received a lot of attention during the last decades and has inspired the study of other thres…