Lu, Chao, Choudhury, Navnil, Banerjee, Utsav, Saki, Abdullah Ash, and Basu, Kanad. QuBEC: Boosting Equivalence Checking for Quantum Circuits With QEC Embedding. Retrieved from https://par.nsf.gov/biblio/10536331. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 43.7 Web. doi:10.1109/TCAD.2024.3361402.

Lu, Chao, Choudhury, Navnil, Banerjee, Utsav, Saki, Abdullah Ash, & Basu, Kanad. QuBEC: Boosting Equivalence Checking for Quantum Circuits With QEC Embedding. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43 (7). Retrieved from https://par.nsf.gov/biblio/10536331. https://doi.org/10.1109/TCAD.2024.3361402

Lu, Chao, Choudhury, Navnil, Banerjee, Utsav, Saki, Abdullah Ash, and Basu, Kanad. "QuBEC: Boosting Equivalence Checking for Quantum Circuits With QEC Embedding". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 43 (7). Country unknown/Code not available: IEEE. https://doi.org/10.1109/TCAD.2024.3361402. https://par.nsf.gov/biblio/10536331.

@article{osti_10536331,
place = {Country unknown/Code not available}, title = {QuBEC: Boosting Equivalence Checking for Quantum Circuits With QEC Embedding}, url = {https://par.nsf.gov/biblio/10536331}, DOI = {10.1109/TCAD.2024.3361402}, abstractNote = {}, journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, volume = {43}, number = {7}, publisher = {IEEE}, author = {Lu, Chao and Choudhury, Navnil and Banerjee, Utsav and Saki, Abdullah Ash and Basu, Kanad}, }