MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing von Quetschlich, Nils, Burgholzer, Lukas, Wille, Robert

Volltext

Advanced Equivalence Checking for Quantum Circuits von Burgholzer, Lukas, Wille, Robert

Volltext

Characteristics of reversible circuits for error detection von Burgholzer, Lukas, Wille, Robert, Kueng, Richard

Volltext

Decoding quantum color codes with MaxSAT von Berent, Lucas, Burgholzer, Lukas, Derks, Peter-Jan H.S., Eisert, Jens, Wille, Robert

Volltext

Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not von Burgholzer, Lukas, Ploier, Alexander, Wille, Robert

Volltext

Equivalence Checking of Quantum Circuits With the ZX-Calculus von Peham, Tom, Burgholzer, Lukas, Wille, Robert

Volltext

QCEC: A JKQ tool for quantum circuit equivalence checking von Burgholzer, Lukas, Wille, Robert

Volltext

On Optimal Subarchitectures for Quantum Circuit Mapping von Peham, Tom, Burgholzer, Lukas, Wille, Robert

Volltext

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing von Quetschlich, Nils, Burgholzer, Lukas, Wille, Robert

Volltext

Tools for Quantum Computing Based on Decision Diagrams von Wille, Robert, Hillmich, Stefan, Burgholzer, Lukas

Volltext

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits von Adarsh, Smaran, Burgholzer, Lukas, Manjunath, Tanmay, Wille, Robert

Volltext

Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think von Hillmich, Stefan, Burgholzer, Lukas, Stögmüller, Florian, Wille, Robert

Volltext

MQT QMAP: Efficient Quantum Circuit Mapping von Wille, Robert, Burgholzer, Lukas

Volltext

Efficient Construction of Functional Representations for Quantum Algorithms von Burgholzer, Lukas, Raymond, Rudy, Sengupta, Indranil, Wille, Robert

Volltext

Handling Non-Unitaries in Quantum Circuit Equivalence Checking von Burgholzer, Lukas, Wille, Robert

Volltext

Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation von Stade, Yannick, Burgholzer, Lukas, Wille, Robert

Volltext bestellen

Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator von Sander, Aaron, Burgholzer, Lukas, Wille, Robert

Volltext bestellen

Advanced Equivalence Checking for Quantum Circuits von Burgholzer, Lukas, Wille, Robert

Volltext

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing von Quetschlich, Nils, Burgholzer, Lukas, Wille, Robert

Volltext bestellen

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level von Quetschlich, Nils, Burgholzer, Lukas, Wille, Robert

Volltext