Stochastic boolean satisfiability (0)

by M L Littman, S M Majercik, T Pitassi
Venue:JAR