Sciweavers

ICCAD
1999
IEEE
78views Hardware» more  ICCAD 1999»
14 years 3 months ago
Probabilistic state space search
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
Andreas Kuehlmann, Kenneth L. McMillan, Robert K. ...