Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler. An Exact Optimization Method Using ZDDs for Linear Decomposition of Index Generation Functions. In 48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018, Linz, Austria, May 16-18, 2018. pages 144-149, IEEE, 2018. [doi]
Abstract is missing.