5 citations · 5 across the 1 of their papers we have counts for
1 paper
S. Knysh, V. N. Smelyanskiy, R. D. Morris
Using methods and ideas from statistical mechanics, we propose a simple method for obtaining rigorous upper bounds for satisfiability transition in random boolean expressions compo…