Burgholzer, Lukas
- Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers
2023/05/02 by Tom Peham, Nina Brandl, Peham, Tom +7 · 6 citations
Computer Science · Materials Science · Engineering · #Quantum Computing Algorithms and Architecture #Diamond and Carbon-based Materials Research #Ferroelectric and Negative Capacitance Devices
- A SAT Encoding for Optimal Clifford Circuit Synthesis
2022/08/24 by Sarah Schneider, Schneider, Sarah, Lukas Burgholzer +3 · 4 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Parallel Computing and Optimization Techniques
- A Framework for Debugging Quantum Programs
2024/12/16 by Damian Rovara, Rovara, Damian, Lukas Burgholzer +2 · 3 citations
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications
- MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing
2024/10/03 by Mato, Kevin, Ringbauer, Martin, Burgholzer, Lukas +1 · 2 citations
#Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Quantum Physics (quant-ph)
- Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation
2023/02/13 by Burgholzer, Lukas, Ploier, Alexander, Wille, Robert · 1 citation
#Data Structures and Algorithms (cs.DS) #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
- Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
2024/11/27 by Yannick Stade, Lukas Burgholzer, Stade, Yannick +2 · 3 citations
Decision Sciences · #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph) #Scientific Computing and Data Management
- Equivalence checking of quantum circuits via intermediary matrix product operator
2024/10/14 by Sander, Aaron, Burgholzer, Lukas, Wille, Robert · 2 citations
#Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)
- Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
2024/11/14 by Yannick Stade, Stade, Yannick, L. Schmid +4 · 3 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Neural Networks and Applications
- Automatically Refining Assertions for Efficient Debugging of Quantum Programs
2024/12/18 by Damian Rovara, Lukas Burgholzer, Rovara, Damian +2 · 1 citation
Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications