MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
Quetschlich, Nils, Burgholzer, Lukas, Wille, Robert
Published in Quantum (Vienna, Austria) (20.07.2023)
Published in Quantum (Vienna, Austria) (20.07.2023)
Get full text
Journal Article
Decoding quantum color codes with MaxSAT
Berent, Lucas, Burgholzer, Lukas, Derks, Peter-Jan H.S., Eisert, Jens, Wille, Robert
Published in Quantum (Vienna, Austria) (23.10.2024)
Published in Quantum (Vienna, Austria) (23.10.2024)
Get full text
Journal Article
Advanced Equivalence Checking for Quantum Circuits
Burgholzer, Lukas, Wille, Robert
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2021)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2021)
Get full text
Journal Article
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
Wille, Robert, Burgholzer, Lukas, Zulehner, Alwin
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01.06.2019)
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01.06.2019)
Get full text
Conference Proceeding
Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not
Burgholzer, Lukas, Ploier, Alexander, Wille, Robert
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.04.2023)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.04.2023)
Get full text
Journal Article
Equivalence Checking of Quantum Circuits With the ZX-Calculus
Peham, Tom, Burgholzer, Lukas, Wille, Robert
Published in IEEE journal on emerging and selected topics in circuits and systems (01.09.2022)
Published in IEEE journal on emerging and selected topics in circuits and systems (01.09.2022)
Get full text
Journal Article
The Power of Simulation for Equivalence Checking in Quantum Computing
Burgholzer, Lukas, Wille, Robert
Published in 2020 57th ACM/IEEE Design Automation Conference (DAC) (01.07.2020)
Published in 2020 57th ACM/IEEE Design Automation Conference (DAC) (01.07.2020)
Get full text
Conference Proceeding
Compiler Optimization for Quantum Computing Using Reinforcement Learning
Quetschlich, Nils, Burgholzer, Lukas, Wille, Robert
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)
Get full text
Conference Proceeding
JKQ: JKU Tools for Quantum Computing
Wille, Robert, Hillmich, Stefan, Burgholzer, Lukas
Published in 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (02.11.2020)
Published in 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (02.11.2020)
Get full text
Conference Proceeding
Towards an Automated Framework for Realizing Quantum Computing Solutions
Quetschlich, Nils, Burgholzer, Lukas, Wille, Robert
Published in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2023)
Published in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL) (01.05.2023)
Get full text
Conference Proceeding
Efficient and Correct Compilation of Quantum Circuits
Wille, Robert, Hillmich, Stefan, Burgholzer, Lukas
Published in 2020 IEEE International Symposium on Circuits and Systems (ISCAS) (01.10.2020)
Published in 2020 IEEE International Symposium on Circuits and Systems (ISCAS) (01.10.2020)
Get full text
Conference Proceeding
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits
Adarsh, Smaran, Burgholzer, Lukas, Manjunath, Tanmay, Wille, Robert
Published in Software impacts (01.12.2022)
Published in Software impacts (01.12.2022)
Get full text
Journal Article
Visualizing Decision Diagrams for Quantum Computing (Special Session Summary)
Wille, Robert, Burgholzer, Lukas, Artner, Michael
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Get full text
Conference Proceeding
Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators
Grurl, Thomas, Fus, Jurgen, Hillmich, Stefan, Burgholzer, Lukas, Wille, Robert
Published in 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) (01.11.2020)
Published in 2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL) (01.11.2020)
Get full text
Conference Proceeding
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
Burgholzer, Lukas, Raymond, Rudy, Wille, Robert
Published in 2020 IEEE International Conference on Quantum Computing and Engineering (QCE) (01.10.2020)
Published in 2020 IEEE International Conference on Quantum Computing and Engineering (QCE) (01.10.2020)
Get full text
Conference Proceeding