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]

Abstract

Abstract is missing.