216 citations · 1.4k across the 66 of their papers we have counts for
6 papers · 2 filters
Limiting the Search Space in Optimal Quantum Circuit Mapping
Lukas Burgholzer, Sarah Schneider, Robert Wille
Executing quantum circuits on currently available quantum computers requires compiling them to a representation that conforms to all restrictions imposed by the targeted architectu…
Tools for Quantum Computing Based on Decision Diagrams
Robert Wille, Stefan Hillmich, Lukas Burgholzer
With quantum computers promising advantages even in the near-term NISQ era, there is a lively community that develops software and toolkits for the design of corresponding quantum…
Handling Non-Unitaries in Quantum Circuit Equivalence Checking
Lukas Burgholzer, Robert Wille
Quantum computers are reaching a level where interactions between classical and quantum computations can happen in real-time. This marks the advent of a new, broader class of quant…
Decision Diagrams for Quantum Measurements with Shallow Circuits
Stefan Hillmich, Charles Hadfield, Rudy Raymond +2
We consider the problem of estimating quantum observables on a collection of qubits, given as a linear combination of Pauli operators, with shallow quantum circuits consisting of s…
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams
Lukas Burgholzer, Hartwig Bauer, Robert Wille
Classical simulations of quantum computations are vital for the future development of this emerging technology. To this end, decision diagrams have been proposed as a complementary…
Efficient Construction of Functional Representations for Quantum Algorithms
Lukas Burgholzer, Rudy Raymond, Indranil Sengupta +1
Due to the significant progress made in the implementation of quantum hardware, efficient methods and tools to design corresponding algorithms become increasingly important. Many o…