Peham, D.
312  results:
Search for persons X
?
 
?
 
?
 
?
9

Depth-Optimal Synthesis of Clifford Circuits with SAT Solve..:

, In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE),
Peham, Tom ; Brandl, Nina ; Kueng, Richard.. - p. 802-813 , 2023
 
?
 
?
11

Equivalence Checking of Parameterized Quantum Circuits :..:

, In: Proceedings of the 28th Asia and South Pacific Design Automation Conference,
Peham, Tom ; Burgholzer, Lukas ; Wille, Robert - p. 702-708 , 2023
 
?
 
1-15