"Efficient Cartesian Genetic Programming-based Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits" is accepted by IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems