Error metrics determination in functionally approximated circuits using SAT solvers Abed, Sa'ed ; Behiry, Ali A. M. R. ; Ahmad, Imtiaz Abstract Publication: PLoS ONE Pub Date: January 2020 DOI: 10.1371/journal.pone.0227745 Bibcode: 2020PLoSO..1527745A