Initial experiments in stochastic satisfiability (1999)

by M Littman
Venue:In Sixteenth National Conference on Artificial Intelligence