Quantum logic synthesis by symbolic reachability analysis.

William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, Marek A. Perkowski

Browse the full DAC paper archive.