Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ismvl/NagayamaSB18
%A Nagayama, Shinobu
%A Sasao, Tsutomu
%A Butler, Jon T.
%B ISMVL
%D 2018
%I IEEE Computer Society
%K dblp
%P 144-149
%T An Exact Optimization Method Using ZDDs for Linear Decomposition of Index Generation Functions.
%U http://dblp.uni-trier.de/db/conf/ismvl/ismvl2018.html#NagayamaSB18
%@ 978-1-5386-4464-5
@inproceedings{conf/ismvl/NagayamaSB18,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Nagayama, Shinobu and Sasao, Tsutomu and Butler, Jon T.},
biburl = {https://www.bibsonomy.org/bibtex/2965f6137a00bf728b9d1ccf29384e7c4/dblp},
booktitle = {ISMVL},
crossref = {conf/ismvl/2018},
ee = {https://doi.ieeecomputersociety.org/10.1109/ISMVL.2018.00033},
interhash = {c7b83e641e63edb2fd6c069d1341138e},
intrahash = {965f6137a00bf728b9d1ccf29384e7c4},
isbn = {978-1-5386-4464-5},
keywords = {dblp},
pages = {144-149},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T17:17:16.000+0200},
title = {An Exact Optimization Method Using ZDDs for Linear Decomposition of Index Generation Functions.},
url = {http://dblp.uni-trier.de/db/conf/ismvl/ismvl2018.html#NagayamaSB18},
year = 2018
}