Error Bounded Exact BDD Minimization in Approximate Computing | IEEE Conference Publication | IEEE Xplore