ALSRAC: Approximate Logic Synthesis by Resubstitution with Approximate Care Set | IEEE Conference Publication | IEEE Xplore