Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler. An Efficient Heuristic for Linear Decomposition of Index Generation Functions. In 46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016. pages 96-101, IEEE Computer Society, 2016. [doi]
Abstract is missing.