Lukas Burgholzer

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 66

Top Topics

Quantum Computing

Decision Diagrams

Solving Optimization Problems

Special Session

Top Venues

Publications

Shui Jiang, Rongliang Fu, Lukas Burgholzer, Robert Wille, Tsung-Yi Ho, Tsung-Wei Huang
FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array. ICPP (2024)
Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille
Stripping Quantum Decision Diagrams of their Identity. CoRR (2024)
Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schönberger, Yannick Stade, Lukas Burgholzer
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. CoRR (2024)
Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. CoRR (2024)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Predicting Good Quantum Circuit Compilation Options. QSW (2023)
Aaron Sander, Lukas Burgholzer, Robert Wille
Towards Hamiltonian Simulation with Decision Diagrams. CoRR (2023)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum 7 (2023)
Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille
A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. QCE (2023)
Lucas Berent, Lukas Burgholzer, Robert Wille
Software Tools for Decoding Quantum Low-Density Parity-Check Codes. ASP-DAC (2023)
Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. CoRR (2023)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. QCE (2023)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. ASP-DAC (2023)
Robert Wille, Lukas Burgholzer
MQT QMAP: Efficient Quantum Circuit Mapping. CoRR (2023)
Lukas Burgholzer, Alexander Ploier, Robert Wille
Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Benedikt Poggel, Nils Quetschlich, Lukas Burgholzer, Robert Wille, Jeanette Miriam Lorenz
Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. QSW (2023)
Sarah Schneider, Lukas Burgholzer, Robert Wille
A SAT Encoding for Optimal Clifford Circuit Synthesis. ASP-DAC (2023)
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. QCE (2023)
Lukas Burgholzer, Robert Wille
Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. ASP-DAC (2023)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Towards an Automated Framework for Realizing Quantum Computing Solutions. ISMVL (2023)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Compiler Optimization for Quantum Computing Using Reinforcement Learning. DAC (2023)
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. CoRR (2023)
Aaron Sander, Lukas Burgholzer, Robert Wille
Towards Hamiltonian Simulation with Decision Diagrams. QCE (2023)
Lukas Burgholzer, Alexander Ploier, Robert Wille
Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation. CoRR (2023)
Robert Wille, Lukas Burgholzer
MQT QMAP: Efficient Quantum Circuit Mapping. ISPD (2023)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Compiler Optimization for Quantum Computing Using Reinforcement Learning. CoRR (2022)
Lukas Burgholzer, Alexander Ploier, Robert Wille
Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. CoRR (2022)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Predicting Good Quantum Circuit Compilation Options. CoRR (2022)
Lucas Berent, Lukas Burgholzer, Robert Wille
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. CoRR (2022)
Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. CoRR (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence Checking of Quantum Circuits With the ZX-Calculus. IEEE J. Emerg. Sel. Topics Circuits Syst. 12 (3) (2022)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Towards an Automated Framework for Realizing Quantum Computing Solutions. CoRR (2022)
Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. RC (2022)
Lukas Burgholzer, Robert Wille, Richard Kueng
Characteristics of reversible circuits for error detection. Array 14 (2022)
Lukas Burgholzer, Alexander Ploier, Robert Wille
Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. DATE (2022)
Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Softw. Impacts 14 (2022)
Lukas Burgholzer, Sarah Schneider, Robert Wille
Limiting the Search Space in Optimal Quantum Circuit Mapping. ASP-DAC (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence checking paradigms in quantum circuit design: a case study. DAC (2022)
Lucas Berent, Lukas Burgholzer, Robert Wille
Software Tools for Decoding Quantum Low-Density Parity Check Codes. CoRR (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence Checking of Quantum Circuits with the ZX-Calculus. CoRR (2022)
Sarah Schneider, Lukas Burgholzer, Robert Wille
A SAT Encoding for Optimal Clifford Circuit Synthesis. CoRR (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. CoRR (2022)
Lucas Berent, Lukas Burgholzer, Robert Wille
Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. SAT (2022)
Tom Peham, Lukas Burgholzer, Robert Wille
On Optimal Subarchitectures for Quantum Circuit Mapping. CoRR (2022)
Nils Quetschlich, Lukas Burgholzer, Robert Wille
MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. CoRR (2022)
Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. DAC (2022)
Lukas Burgholzer, Robert Wille
Handling non-unitaries in quantum circuit equivalence checking. DAC (2022)
Lukas Burgholzer, Richard Kueng, Robert Wille
Random Stimuli Generation for the Verification of Quantum Circuits. ASP-DAC (2021)
Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
Efficient Construction of Functional Representations for Quantum Algorithms. CoRR (2021)
Lukas Burgholzer, Sarah Schneider, Robert Wille
Limiting the Search Space in Optimal Quantum Circuit Mapping. CoRR (2021)
Robert Wille, Lukas Burgholzer, Michael Artner
Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). DATE (2021)
Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
Efficient Construction of Functional Representations for Quantum Algorithms. RC (2021)
Lukas Burgholzer, Robert Wille
Towards Verification of Dynamic Quantum Circuits. CoRR (2021)
Lukas Burgholzer, Robert Wille
QCEC: A JKQ tool for quantum circuit equivalence checking. Softw. Impacts 7 (2021)
Lukas Burgholzer, Hartwig Bauer, Robert Wille
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. QCE (2021)
Lukas Burgholzer, Robert Wille
Advanced Equivalence Checking for Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (9) (2021)
Lukas Burgholzer, Hartwig Bauer, Robert Wille
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. CoRR (2021)
Lukas Burgholzer, Robert Wille
Advanced Equivalence Checking for Quantum Circuits. CoRR (2020)
Thomas Grurl, Jürgen Fuß, Stefan Hillmich, Lukas Burgholzer, Robert Wille
Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. ISMVL (2020)
Lukas Burgholzer, Robert Wille
Improved DD-based Equivalence Checking of Quantum Circuits. ASP-DAC (2020)
Lukas Burgholzer, Robert Wille
The Power of Simulation for Equivalence Checking in Quantum Computing. DAC (2020)
Lukas Burgholzer, Robert Wille, Richard Kueng
Characteristics of Reversible Circuits for Error Detection. CoRR (2020)
Lukas Burgholzer, Richard Kueng, Robert Wille
Random Stimuli Generation for the Verification of Quantum Circuits. CoRR (2020)
Robert Wille, Stefan Hillmich, Lukas Burgholzer
Efficient and Correct Compilation of Quantum Circuits. ISCAS (2020)
Lukas Burgholzer, Rudy Raymond, Robert Wille
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. QCE (2020)
Robert Wille, Stefan Hillmich, Lukas Burgholzer
JKQ: JKU Tools for Quantum Computing. ICCAD (2020)
Robert Wille, Lukas Burgholzer, Alwin Zulehner
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. DAC (2019)