162 citations · 853 across the 40 of their papers we have counts for
Showing 2020 · math.PRShow all
2 papers · 2 filters
math.PR2020★ 5 cited
Belief Propagation on the random -SAT model
Amin Coja-Oghlan, Noëla Müller, Jean B. Ravelomanana
Corroborating a prediction from statistical physics, we prove that the Belief Propagation message passing algorithm approximates the partition function of the random -SAT model…
math.PR2020★ 13 cited
The random 2-SAT partition function
Dimitris Achlioptas, Amin Coja-Oghlan, Max Hahn-Klimroth +4
We show that throughout the satisfiable phase the normalised number of satisfying assignments of a random -SAT formula converges in probability to an expression predicted by the…