Ying-Ji Sun Ming Xu 0010 Yuxin Deng 0001 An optimal quantum error-correcting procedure using quantifier elimination. 170 2021 20 Quantum Inf. Process. 4 https://doi.org/10.1007/s11128-021-03109-w db/journals/qip/qip20.html#SunXD21