Probabilistic state space search (1999)

by A Kuehlmann, K L McMillan, R K Brayton
Venue:in ICCAD