Computing Tricky Probabilities Using Model Counting

SAT Solvers as Smart Search Engines