51 citations · 53 across the 6 of their papers we have counts for
3 papers · 1 filter
Equivalence checking of quantum circuits via intermediary matrix product operator
Aaron Sander, Lukas Burgholzer, Robert Wille
As quantum computing advances, the complexity of quantum circuits is rapidly increasing, driving the need for robust methods to aid in their design. Equivalence checking plays a vi…
Stripping Quantum Decision Diagrams of their Identity
Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer +1
Classical representations of quantum states and operations as vectors and matrices are plagued by an exponential growth in memory and runtime requirements for increasing system siz…
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
Robert Wille, Lucas Berent, Tobias Forster +10
Quantum computers are becoming a reality and numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, and optimization)…