An optimal quantum error-correcting procedure using quantifier elimination

Ying-Ji Sun, Ming Xu 0010, Yuxin Deng. An optimal quantum error-correcting procedure using quantifier elimination. Quantum Information Processing, 20(4):170, 2021. [doi]

Abstract

Abstract is missing.