Boolean Function Decomposition Based on Grover Algorithm and Its Simulation Using Quantum Language Quipper

[1]  Tadeusz Luba,et al.  A General Approach to Boolean Function Decomposition and its Application in FPGABased Synthesis , 1995, VLSI Design.

[2]  Tong Ye,et al.  A relational approach to functional decomposition of logic circuits , 2006, TODS.

[3]  Wenjie Liu,et al.  Full-Blind Delegating Private Quantum Computation , 2020, ArXiv.

[4]  Hamza Jaffali,et al.  Grover’s algorithm and the secant varieties , 2016, Quantum Inf. Process..

[5]  Bahman Arasteh,et al.  An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method , 2015, Discret. Appl. Math..

[6]  Boris Pozdneev,et al.  Algebraic models of digital system design debugging decomposition , 2016, 2016 IEEE East-West Design & Test Symposium (EWDTS).

[7]  I. Chuang,et al.  Quantum Computation and Quantum Information: Bibliography , 2010 .

[8]  Benoît Valiron,et al.  Quipper: a scalable quantum programming language , 2013, PLDI.

[9]  Wenjie Liu,et al.  Privacy-Preserving Quantum Two-Party Geometric Intersection , 2019 .

[10]  Thomas Häner,et al.  0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit , 2017, SC17: International Conference for High Performance Computing, Networking, Storage and Analysis.

[11]  Asgarali Bouyer,et al.  The Necessity of Using Cloud Computing in Educational System , 2014 .

[12]  Qiang Li,et al.  Theoretical study of the R3c-to-Pnma phase transition in BiAlO3 , 2018, Computational Materials Science.

[13]  Tadeusz Luba,et al.  Decomposition of multiple-valued functions , 1995, Proceedings 25th International Symposium on Multiple-Valued Logic.

[14]  Lov K. Grover.  Quantum Mechanics Helps in Searching for a Needle in a Haystack , 1997, quant-ph/9706033.

[15]  Mohammed J. Islam,et al.  Five Quantum Algorithms Using Quipper , 2014, 1406.4481.

[16]  Ling Liu,et al.  Output privacy in data mining , 2011, TODS.

[17]  Christoph Scholl,et al.  Functional Decomposition With Application to FPGA Syn-thesis , 2001 .