Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis

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]

Authors

William N. N. Hung

This author has not been identified. Look up 'William N. N. Hung' in Google

Xiaoyu Song

This author has not been identified. Look up 'Xiaoyu Song' in Google

Guowu Yang

This author has not been identified. Look up 'Guowu Yang' in Google

Jin Yang

This author has not been identified. Look up 'Jin Yang' in Google

Marek A. Perkowski

This author has not been identified. Look up 'Marek A. Perkowski' in Google