Personensuche
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
1
Equivalence Checking of Quantum Circuits by Model Counting:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
4
Fast Equivalence Checking of Quantum Circuits of Clifford G..:
, In:
?
2020 IEEE International Conference on Quantum Computing and Engineering (QCE) ,
11
Efficient Optimization of Cut-offs in Quantum Repeater Chai..:
, In:
?
Proceedings of the ACM Special Interest Group on Data Communication ,
13