2019，GECCO，Linear scaling with and within semantic backpropagation-based genetic programming for SR