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]
@article{NagayamaSB18-0,
title = {An Exact Optimization Method using ZDDs for Linear Decomposition of Symmetric Index Generation Functions},
author = {Shinobu Nagayama and Tsutomu Sasao and Jon T. Butler},
year = {2018},
url = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf},
researchr = {https://researchr.org/publication/NagayamaSB18-0},
cites = {0},
citedby = {0},
journal = {FLAP},
volume = {5},
number = {9},
pages = {1849-1866},
}