Ilaria Scarabottolo, Giovanni Ansaloni, George A. Constantinides, Laura Pozzi. A Formal Framework for Maximum Error Estimation in Approximate Logic Synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(4):840-853, 2022. [doi]
Abstract is missing.