An optimal quantum error-correcting procedure using quantifier elimination.

Ying-Ji Sun Ming Xu Yuxin Deng

Published in: Quantum Inf. Process. (2021)

Keyphrases

error correcting
quantifier elimination
error correction
constraint propagation
constraint databases
optimal solution
error detection
cardinality constraints
training data
data model
temporal information
entity relationship
functional programming