Jan Carl Budich1 article listing Jan Carl Budich in PNAS, indexed by Paperzzz from Crossref and OSF.Advancing stochastic 3-SAT solvers by dissipating oversatisfied constraints PNAS