Author:
Zulehner Alwin,Wille Robert
Publisher
Springer International Publishing
Reference21 articles.
1. Amarù, L.G., Gaillardon, P., Wille, R., Micheli, G.D.: Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. In: Design, Automation and Test in Europe, pp. 175–180 (2016)
2. 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. Circ. Syst. 32(6), 818–830 (2013)
3. Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525–532 (1973)
4. Große, D., Wille, R., Dueck, G.W., Drechsler, R.: Exact multiple control Toffoli network synthesis with SAT techniques. IEEE Trans. CAD 28(5), 703–715 (2009)
5. Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5(3), 183–191 (1961)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivalence Checking of Quantum Circuits by Model Counting;Lecture Notes in Computer Science;2024
2. Funktionale Synthese;Einführung in die Entwurfsautomatisierung für Quantencomputer;2023
3. Übersicht;Einführung in die Entwurfsautomatisierung für Quantencomputer;2023
4. Empowering the Design of Reversible and Quantum Logic with Decision Diagrams;Emerging Computing: From Devices to Systems;2022-07-09
5. The Power of Disjoint Support Decompositions in Decision Diagrams;Lecture Notes in Computer Science;2022