How to estimate the probability of distribution of a variable in a Constraint Satisfication Problem
If the SAT instance has a unique solution then you are asking for the actual solution. Given the Valiant&ndash;Vazirani randomized reduction from SAT to unique SAT, if there was a way of efficiently estimating the probability distribution of variables then you could use it to solve SAT.