51 citations · 178 across the 15 of their papers we have counts for
3 papers · 1 filter
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…
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers
Tom Peham, Nina Brandl, Richard Kueng +2
Circuit synthesis is the task of decomposing a given logical functionality into a sequence of elementary gates. It is (depth-)optimal if it is impossible to achieve the desired fun…
The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus
Robert Wille, Lukas Burgholzer, Stefan Hillmich +3
Quantum computers promise to efficiently solve important problems classical computers never will. However, in order to capitalize on these prospects, a fully automated quantum soft…