Merkliste 
 1 Ergebnisse 
 
1

QuBEC: Boosting Equivalence Checking for Quantum Circuits W..:

Lu, Chao ; Choudhury, Navnil ; Banerjee, Utsav..
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  43 (2024)  7 - p. 2037-2042 , 2024