Initial experiments in stochastic satisfiability (1999)

by M L Littman
Venue:In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99