13 citations · 13 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.CO2020
Exact Phase Transitions of Model RB with Slower-Growing Domains
Jun Liu, Ke Xu, Guangyan Zhou
The second moment method has always been an effective tool to lower bound the satisfiability threshold of many random constraint satisfaction problems. However, the calculation is…
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…