An Exact Optimization Method Using ZDDs for Linear Decomposition of Index Generation Functions

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]

Possibly Related Publications

The following publications are possibly variants of this publication: