Stochastic Boolean satisfiability (0)

by M L Littman, S M Majercik, T Pitassi
Venue:J. Automat. Reason