%0 Journal Article %T Error metrics determination in functionally approximated circuits using SAT solvers %A Abed, Sa’ed %A Behiry, Ali A. M. R. %A Ahmad, Imtiaz %J PLoS ONE %V 15 %N 1 %D 2020-01-14 %I Public Library of Science %~ DeepDyve