Stochastic boolean satisfiability (0)

by Michael L Littman, Stephen M Majercik, Toniann Pitassi
Venue:Markus Lohrey and Manfred Schmidt-Schauß. Processing