Minimization of AND-XOR expressions with decoders for quantum circuitsRemoveSonia Yang, Ali Al-Bayaty, and Marek PerkowskiPhys. Rev. A 113, 052443 (2026)