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

Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler. An Exact Optimization Method using ZDDs for Linear Decomposition of Symmetric Index Generation Functions. FLAP, 5(9):1849-1866, 2018. [doi]

No reviews for this publication, yet.