Showing cs.DMShow all
2 papers · 1 filter
cs.DM2025
The random -SAT Gibbs uniqueness threshold revisited
Arnab Chatterjee, Amin Coja-Oghlan, Catherine Greenhill +4
We prove that for any for clause/variable ratios up to the Gibbs uniqueness threshold of the corresponding Galton-Watson tree, the number of satisfying assignments of rand…
cs.DM2025
Symmetric Rule-Based Achlioptas Processes for Random -SAT
Arnab Chatterjee
Inspired by the "power-of-two-choices" model from random graphs, we investigate the possibility of limited choices of online clause choices that could shift the satisfiability thre…