An Exact Optimization Method Using ZDDs for Linear Decomposition of Index Generation Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shinobu Nagayama' in GoogleThis author has not been identified. Look up 'Tsutomu Sasao' in GoogleThis author has not been identified. Look up 'Jon T. Butler' in Google

runs on WebDSL