Publikationen
Im Rahmen des Projekts QuaST entstehen zahlreiche Publikationen. Einen Überblick finden Sie hier.
Datum |
Publikation | |
|---|---|---|
2023 |
A SAT Encoding for Optimal Clifford Circuit Synthesis Sarah Schneider, Lukas Burgholzer, Robert Wille Asia and South Pacific Design Automation Conference (ASP-DAC) |
|
2023 |
Compiler Optimization for Quantum Computing Using Reinforcement Learning Nils Quetschlich, Lukas Burgholzer, Robert Wille Design Automation Conference (DAC) |
|
2023 |
Cutting multi-control quantum gates with ZX calculus Christian Ufrecht, Maniraman Periyasamy, Sebastian Rietsch, Daniel D. Scherer, Axel Plinge, Christopher Mutschler arXiv:2302.00387 |
|
|
Enhancing Quantum Algorithms for Maximum Cut via Integer Programming arXiv:2302.05493 |
|
2023 |
Tom Peham, Lukas Burgholzer, Robert Wille Asia and South Pacific Design Automation Conference (ASP-DAC) |
|
2023 |
Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences |
|
2023 |
Optimal, hardware native decomposition of parameterized multi-qubit Pauli gates P.V. Sriluckshmy,∗ Vicente Pina-Canelles, Mario Ponce, Manuel G. Algaba, Fedor Simkovic IV, and Martin Leib arXiv:2303.04498 |
|
2023 |
Thomas Grurl, Jürgen Fuß, Robert Wille International Symposium on Multi-Valued Logic (ISMVL) |
|
2023 |
Quantum-Assisted Solution Paths for the Capacitated Vehicle Routing Problem Lilly Palackal, Benedikt Poggel, Matthias Wulff, Hans Ehm, Jeanette Miriam Lorenz, Christian B. Mendl arXiv:2304.09629 |
|
2023 |
Simulating quantum circuits using tree tensor networks Philipp Seitz, Ismael Medina, Esther Cruz, Qunsheng Huang, Christian B. Mendl arXiv:2206.01000 |
|
2022 |
Software Tools for Decoding Quantum Low-Density Parity Check Codes Lucas Berent, Lukas Burgholzer, Robert Wille Asia and South Pacific Design Automation Conference (ASP-DAC) |
|
2023 |
Towards an Automated Framework for Realizing Quantum Computing Solutions Nils Quetschlich, Lukas Burgholzer, Robert Wille arXiv:2210.14928 |
|
2023 |
Accelerating HPC With Quantum Computing: It Is a Software Challenge Too Martin Schulz, Martin Ruefenacht, Dieter Kranzlmuller, Laura Brandon Schulz Computing in Science & Engineering, vol. 24, no. 04, pp. 60-64, 2022 |
|
2022 |
Equivalence Checking of Quantum Circuits with the ZX-Calculus Tom Peham, Lukas Burgholzer, Robert Wille Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS) |
|
2022 |
Equivalence Checking Paradigms in Quantum Circuit Design Tom Peham, Lukas Burgholzer, Robert Wille Design Automation Conference (DAC) |
|
2022 |
Handling Non-Unitaries in Quantum Circuit Equivalence Checking Lukas Burgholzer, Robert Wille Design Automation Conference (DAC) |
|
2022 |
Noise-Aware Quantum Circuit Simulation With Decision Diagrams Thomas Grurl, Jürgen Fuß, Robert Wille IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD) |
|
2022 |
Predicting Good Quantum Circuit Compilation Options Nils Quetschlich, Lukas Burgholzer, Robert Wille arXiv:2210.08027 |
|
2022 |
Predicting the Optimizability for Workflow Decisions Burak Mete, Martin Schulz, Martin Ruefenacht 2022 IEEE/ACM Third International Workshop on Quantum Computing Software (QCS), Dallas, TX, USA |
|
2022 |
Recommending Solution Paths for Solving Optimization Problems with Quantum Computing Benedikt Poggel, Nils Quetschlich, Lukas Burgholzer, Robert Wille, Jeanette Miriam Lorenz arXiv:2212.11127 |
|
2022 |
Simulation Paths for Quantum Circuit Simulation with Decision Diagrams Lukas Burgholzer, Alexander Ploier, Robert Wille IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD) |