David Machado1 article listing David Machado in PNAS, indexed by Paperzzz from Crossref and OSF.Local equations describe unreasonably efficient stochastic algorithms in random K-SAT PNAS