3 papers
quant-ph2025
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…
eess.SY2025
Design Tasks and Their Complexity for the European Train Control System with Hybrid Train Detection
Stefan Engels, Tom Peham, Judith Przigoda +2
Railway networks have become increasingly important in recent times, especially in moving freight and public transportation from road traffic and planes to more environmentally fri…
quant-ph2024
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…