Publications

Tom Peham, Lukas Burgholzer, Robert Wille (2022). Equivalence Checking of Quantum Circuits with the ZX-Calculus. Journal of Emerging and Selected Topics in Circuits and Systems.

Sarah Schneider, Lukas Burgholzer, Robert Wille (2022). A SAT Encoding for Optimal Clifford Circuit Synthesis. arXiv:2208.11713 [quant-ph].

PDF Cite arXiv Code

Lukas Burgholzer, Alexander Ploier, Robert Wille (2022). Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems.

PDF Cite Code arXiv

Lucas Berent, Lukas Burgholzer, Robert Wille (2022). Towards a SAT Encoding for Quantum Circuits. In International Conference on Theory and Applications of Satisfiability Testing.

PDF Cite Code arXiv

Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham (2022). The Basis of Design Tools for Quantum Computing. In Design Automation Conference.

Lukas Burgholzer, Robert Wille (2022). Handling Non-Unitaries in Quantum Circuit Equivalence Checking. In Design Automation Conference.

PDF Cite Code arXiv

Tom Peham, Lukas Burgholzer, Robert Wille (2022). Equivalence Checking Paradigms in Quantum Circuit Design. In Design Automation Conference.

Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille (2022). Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. In Conference on Reversible Computation.

Nils Quetschlich, Lukas Burgholzer, Robert Wille (2022). MQT Bench. arXiv:2204.13719 [quant-ph].

PDF Cite arXiv Online-Tool Code

Lukas Burgholzer, Robert Wille, Richard Kueng (2022). Characteristics of Reversible Circuits for Error Detection. Array.

PDF Cite arXiv Elsevier

Lukas Burgholzer, Alexander Ploier, Robert Wille (2022). Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. In Design, Automation and Test in Europe.

PDF Cite Slides Code

Lukas Burgholzer, Sarah Schneider, Robert Wille (2022). Limiting the Search Space in Optimal Quantum Circuit Mapping. In Asia and South Pacific Design Automation Conference.

PDF Cite Slides Code arXiv

Robert Wille, Stefan Hillmich, Lukas Burgholzer (2021). Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing.

PDF Cite DDSIM QCEC DDVis Online-Tool arXiv

Lukas Burgholzer, Hartwig Bauer, Robert Wille (2021). Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. In International Conference on Quantum Computing and Engineering.

PDF Cite Slides Code arXiv

Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille (2021). Efficient Construction of Functional Representations for Quantum Algorithms. In Conference on Reversible Computation.

PDF Cite Slides Code arXiv

Robert Wille, Lukas Burgholzer, Michael Artner (2021). Visualizing Decision Diagrams for Quantum Computing. In Design, Automation and Test in Europe.

PDF Cite Online-Tool Code

Lukas Burgholzer, Robert Wille (2021). QCEC: A JKQ tool for quantum circuit equivalence checking. Software Impacts.

PDF Cite Code Elsevier

Lukas Burgholzer, Richard Kueng, Robert Wille (2021). Random Stimuli Generation for the Verification of Quantum Circuits. In Asia and South Pacific Design Automation Conference.

PDF Cite Slides Code arXiv

Lukas Burgholzer, Robert Wille (2021). Advanced Equivalence Checking for Quantum Circuits. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems.

PDF Cite Code arXiv

Robert Wille, Stefan Hillmich, Lukas Burgholzer (2020). JKQ: JKU Tools for Quantum Computing. In International Conference on Computer Aided Design.

Lukas Burgholzer, Rudy Raymond, Robert Wille (2020). Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. In International Conference on Quantum Computing and Engineering.

PDF Cite Slides Video Code arXiv

Robert Wille, Stefan Hillmich, Lukas Burgholzer (2020). Efficient and Correct Compilation of Quantum Circuits. In IEEE International Symposium on Circuits and Systems.

PDF Cite Mapping Code Verification Code

Thomas Grurl, Jürgen Fuß, Stefan Hillmich, Lukas Burgholzer, Robert Wille (2020). Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. In International Symposium on Multi-Valued Logic.

Lukas Burgholzer, Robert Wille (2020). The Power of Simulation for Equivalence Checking in Quantum Computing. In Design Automation Conference.

PDF Cite Slides Code

Lukas Burgholzer, Robert Wille (2020). Improved DD-based Equivalence Checking of Quantum Circuits. In Asia and South Pacific Design Automation Conference.

PDF Cite Slides Code

Robert Wille, Lukas Burgholzer, Alwin Zulehner (2019). Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. In Design Automation Conference.

PDF Cite Code arXiv