Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.
William N. N. HungXiaoyu SongGuowu YangJin YangMarek A. PerkowskiPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)