Modified Karnaugh map for quantum Boolean circuits construction

Proceedings of the IEEE Conference on Nanotechnology

Volumn 2, Issue , 2003, Pages 651-654

  Wang, Shiou An ^a   Lu, Chin Yung ^a   Tsai, I Ming ^a   Kuo, Sy Yen ^a  

^a NATIONAL TAIWAN UNIVERSITY   (Taiwan)

Author keywords

Boolean functions; Circuit optimization; Databases; Design engineering; Input variables; Logic circuits; Logic design; Logic functions; Minimization methods; Quantum computing

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATION THEORY; DATABASE SYSTEMS; LOGIC DESIGN; NANOTECHNOLOGY; QUANTUM COMPUTERS; QUANTUM EFFICIENCY; QUANTUM OPTICS;

CIRCUIT OPTIMIZATION; DESIGN ENGINEERING; INPUT VARIABLES; LOGIC FUNCTIONS; MINIMIZATION METHODS; QUANTUM COMPUTING;

LOGIC CIRCUITS;

EID: 75449084458     PISSN: 19449399     EISSN: 19449380     Source Type: Conference Proceeding    
DOI: 10.1109/NANO.2003.1230996     Document Type: Conference Paper

References (8)

1. A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, "Elementary gates for quantum computation," Physical Review A, 52(5): pp. 3457-3467, Nov. 1995.
2. I-Ming Tsai and Sy-Yen Kuo, "Quantum Boolean Circuit Construction and Layout under Locality Constraint," in Proc. Of the 1st IEEE Conference on Nanotechnology, 2001, pp. 111-116.
3. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes, "Reversible logic circuit synthesis," Proc. IEEE/ACM Intl. Conf. on Computer Aided Design, pp. 353-360, November, 2002.
4. J. -S. Lee, Y. Chung, J. Kim, and S. Lee, "A Practical Method of Constructing Quantum Combinational Logic Circuits," http://arXiv.org/quant-ph/9911053, 1999.
5. K. Iwama, Y. Kambayashi, and S. Yamashita, "Transformation Rules for Designing CNOT-based Quantum Circuits," Proc. DAC, pp.419-425, June, 2002.
6. K. N. Patel, I. L. Markov, and J. P. Hayes, "Efficient Synthesis of Linear Reversible Circuits," http://arXiv.org/quant-ph/0302002, 2003.
7. L. Grover, "A fast quantum mechanical algorithm for database search," in Proc. of the 28th Annual ACM symposium on the Theory of Computing, pp. 212-219, 1996.
8. P. Shor, "Algorithms for quantum computation: discrete logarithms and factoring," in Proc. of the 35th Annual IEEE Symposium on the Foundations of Computer Science, pp. 124-134, 1994