51 citations · 118 across the 12 of their papers we have counts for
Showing 2021 · quant-phShow all
2 papers · 2 filters
quant-ph2021★ 32 cited
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…
quant-ph2021
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…