Issue No.07 - July (1989 vol.38)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.30854
The problem is presented in the context of some recent theoretical advances on a related problem, called random satisfiability. These recent results indicate the theoretical limitations inherent in the problem of computing signal probabilities. Such limitations exist even if one uses Monte Carlo techniques for estimating signal probabilities. Theoretical results indicate that any practical meth
signal probabilities estimation; random satisfiability; Monte Carlo techniques; first-order effects; fault location; logic design; logic testing; Monte Carlo methods.
B. Krishnamurthy, "Improved Techniques for Estimating Signal Probabilities", IEEE Transactions on Computers, vol.38, no. 7, pp. 1041-1045, July 1989, doi:10.1109/12.30854