Michael L. Littman Stephen M. Majercik Toniann Pitassi Stochastic Boolean Satisfiability. 251-296 2001 27 J. Autom. Reasoning 3 db/journals/jar/jar27.html#LittmanMP01 http://dx.doi.org/10.1023/A:1017584715408