Improved Probabilistic Verification by Hash Compaction (1995)

by U Stern, D L Dill
Venue:In Correct Hardware Design and Verification Methods volume 987