Jonathan González-García1 article listing Jonathan González-García in PNAS, indexed by Paperzzz from Crossref and OSF.Local equations describe unreasonably efficient stochastic algorithms in random K-SAT PNAS