Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition

Open in new window