MUSCAT: MUS-based Circuit Approximation Technique | IEEE Conference Publication | IEEE Xplore