Stochastic boolean satisfiability (2001)

by M L Littman, S M Majercik, T Pitassi
Venue:J. Automated Reasoning