Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits - Češka, Milan; Matyáš, Jiří; Mrazek, Vojtech; Sekanina, Lukas; Vasicek, Zdenek; Vojnar, Tomáš (Applied soft computing, 2020)
Keywords: Approximate computing; Circuit optimisation; Energy efficiency; Genetic programming; Energy efficiency; Approximate computing; Genetic programming; Circuit optimisation