Lukás Sekanina, Zdenek Vasícek, Vojtech Mrazek. Automated Search-Based Functional Approximation for Digital Circuits. In Sherief Reda, Muhammad Shafique 0001, editors, Approximate Circuits, Methodologies and CAD. pages 175-203, Springer, 2019. [doi]
Abstract is missing.