Andreas Wendler, Oliver Keszöcze. A fast BDD Minimization Framework for Approximate Computing. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020. pages 1372-1377, IEEE, 2020. [doi]
Abstract is missing.