Solving satisfiability by Bayesian inference

Michel Feldmann

We demonstrate that any logical problem can be solved by Bayesian inference. In this approach, the distinction between complexity classes vanishes. The method is illustrated by sol…