William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski. Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(9):1652-1663, 2006. [doi]
@article{HungSYYP06,
title = {Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis},
author = {William N. N. Hung and Xiaoyu Song and Guowu Yang and Jin Yang and Marek A. Perkowski},
year = {2006},
doi = {10.1109/TCAD.2005.858352},
url = {http://doi.ieeecomputersociety.org/10.1109/TCAD.2005.858352},
tags = {analysis},
researchr = {https://researchr.org/publication/HungSYYP06},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {25},
number = {9},
pages = {1652-1663},
}