ATPG and Test Compression for Probabilistic Circuits | IEEE Conference Publication | IEEE Xplore