%0 Journal Article %1 journals/tcad/LuCBAB24 %A Lu, Chao %A Choudhury, Navnil %A Banerjee, Utsav %A Ash-Saki, Abdullah %A Basu, Kanad %D 2024 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 7 %P 2037-2042 %T QuBEC: Boosting Equivalence Checking for Quantum Circuits With QEC Embedding. %U http://dblp.uni-trier.de/db/journals/tcad/tcad43.html#LuCBAB24 %V 43

@article{journals/tcad/LuCBAB24, added-at = {2024-07-19T00:00:00.000+0200}, author = {Lu, Chao and Choudhury, Navnil and Banerjee, Utsav and Ash-Saki, Abdullah and Basu, Kanad}, biburl = {https://www.bibsonomy.org/bibtex/218e01891aa558475c36a3fe8f0293d70/dblp}, ee = {https://doi.org/10.1109/TCAD.2024.3361402}, interhash = {1d7a24080508f662dadbf3e97d5928da}, intrahash = {18e01891aa558475c36a3fe8f0293d70}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, month = {July}, number = 7, pages = {2037-2042}, timestamp = {2024-07-22T07:08:20.000+0200}, title = {QuBEC: Boosting Equivalence Checking for Quantum Circuits With QEC Embedding.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad43.html#LuCBAB24}, volume = 43, year = 2024 }