5 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
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…