TY  - RPRT
TI  - Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
AU  - Milan Ceska
AU  - Jiri Matyas
AU  - Vojtech Mrazek
AU  - Lukas Sekanina
AU  - Zdenek Vasicek
AU  - Tomas Vojnar
PY  - 2020
DO  - 10.1016/j.asoc.2020.106466
UR  - https://arxiv.org/abs/2003.02491
ID  - 2003.02491
ER  -