High Efficiency and Low Overkill Testing for Probabilistic Circuits | IEEE Conference Publication | IEEE Xplore