Local equations describe unreasonably efficient stochastic algorithms in random K-SAT
From MaRDI portal
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Computational aspects of satisfiability (68R07) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation methods and heuristics in mathematical programming (90C59)
This page was built for publication: Local equations describe unreasonably efficient stochastic algorithms in random K-SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6844705)