Author:
Riener Heinz,Ehlers Rüdiger,Schmitt Bruno de O.,Micheli Giovanni De
Publisher
Springer International Publishing
Reference30 articles.
1. Amy, M., Maslov, D., Mosca, M., Roetteler, M.: A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits. IEEE Trans. CAD Integr. Circuits Syst. 32(6), 818–830 (2013)
2. Audemard, G., Simon, L.: On the glucose SAT solver. Int. J. Artif. Intell. Tools 27(1), 1–25 (2018)
3. Barenco, A., Bennett, C.H., Cleve, R., Divincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Phys. Rev. A: At. Mol. Opt. Phys. 52(5), 3457–3467 (1995)
4. Brayton, R.K., Mishchenko, A.: ABC: an academic industrial-strength verification tool. In: Proceedings of Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, July 15–19, 2010, pp. 24–40
5. De Vos, A., Van Rentergem, Y.: Young subgroups for reversible computers. Adv. Math. Commun. 2(2), 183–200 (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17
2. Compact Quantum Circuits for Dimension Reducible Functions;2023 26th Euromicro Conference on Digital System Design (DSD);2023-09-06
3. Don’t-Care Aware ESOP Extraction via Reduced Decomposition-Tree Exploration;2023 60th ACM/IEEE Design Automation Conference (DAC);2023-07-09
4. One Hot Encoding Synthesis of Quantum Automata from Flowcharts;Journal of Quantum Information Science;2023
5. tweedledum: A Compiler Companion for Quantum Computing;2022 Design, Automation & Test in Europe Conference & Exhibition (DATE);2022-03-14