Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller. An efficient verification of quantum circuits under a practical restriction. In Qiang Wu, Xiangjian He, Quang Vinh Nguyen, Wenjing Jia, Mao Lin Huang, editors, Proceedings of 8th IEEE International Conference on Computer and Information Technology, CIT 2008, Sydney, Australia, July 8-11, 2008. pages 873-879, IEEE, 2008. [doi]
Abstract is missing.