共 50 条
- [1] On Belief Propagation Guided Decimation for Random k-SAT PROCEEDINGS OF THE TWENTY-SECOND ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2011, : 957 - 966
- [2] BELIEF PROPAGATION ON THE RANDOM k-SAT MODEL ANNALS OF APPLIED PROBABILITY, 2022, 32 (05): : 3718 - 3796
- [3] Survey and Belief Propagation on random K-SAT THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 519 - 528
- [4] The Decimation Process in Random k-SAT Automata, Languages and Programming, ICALP, Pt I, 2011, 6755 : 305 - 316
- [10] On the behaviour of random K-SAT on trees JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2012,