Probabilistic state space search.

Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton

Browse the full ICCAD paper archive.