4 papers · 1 filter
A SAT Encoding for Optimal Clifford Circuit Synthesis
Sarah Schneider, Lukas Burgholzer, Robert Wille
Executing quantum algorithms on a quantum computer requires compilation to representations that conform to all restrictions imposed by the device. Due to devices' limited coherence…
Decoding quantum color codes with MaxSAT
Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks +2
In classical computing, error-correcting codes are well established and are ubiquitous both in theory and practical applications. For quantum computing, error-correction is essenti…
A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
Jagatheesan Kunasaikaran, Kevin Mato, Robert Wille
Superconducting quantum hardware architectures have been designed by considering the physical constraints of the underlying physics. These general-purpose architectures leave room…
Towards Hamiltonian Simulation with Decision Diagrams
Aaron Sander, Lukas Burgholzer, Robert Wille
This paper proposes a novel approach to Hamiltonian simulation using Decision Diagrams (DDs), which are an exact representation based on exploiting redundancies in representations…