Pey-Chang Kent Lin, Sunil P. Khatri. Noise-based algorithms for functional equivalence and tautology checking. In 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013. pages 235-240, IEEE, 2013. [doi]
Abstract is missing.