@misc{indiciae41f59a9bc45c,
  title = {Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits},
  author = {Milan Ceska and Jiri Matyas and Vojtech Mrazek and Lukas Sekanina and Zdenek Vasicek and Tomas Vojnar},
  year = {2020},
  doi = {10.1016/j.asoc.2020.106466},
  url = {https://arxiv.org/abs/2003.02491},
  note = {Source identifier: 2003.02491}
}