Publication

BDD Minimization for Approximate Computing