Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, Theodore W. Manikas. Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state Systems. In 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015. pages 170-175, IEEE, 2015. [doi]