Quantum logic synthesis by symbolic reachability analysis. - Hung, William N. N.; Song, Xiaoyu; Yang, Guowu; Yang, Jin; Perkowski, Marek A. (2004)