45 citations · 87 across the 6 of their papers we have counts for
1 paper · 1 filter
Andrea Montanari, Devavrat Shah
We present a deterministic approximation algorithm to compute logarithm of the number of `good' truth assignments for a random k-satisfiability (k-SAT) formula in polynomial time (…