LUT-based Circuit Approximation with Targeted Error Guarantees | IEEE Conference Publication | IEEE Xplore