The following publications are possibly variants of this publication:
- Combining ordered best-first search with branch and bound for exact BDD minimizationRüdiger Ebendt, Wolfgang Günther, Rolf Drechsler. aspdac 2004: 875-878 [doi]
- Combining ordered best-first search with branch and bound for exact BDD minimizationRüdiger Ebendt, Wolfgang Günther, Rolf Drechsler. tcad, 24(10):1515-1529, 2005. [doi]
- Error Bounded Exact BDD Minimization in Approximate ComputingSaman Froehlich, Daniel Große, Rolf Drechsler. ismvl 2017: 254-259 [doi]
- Fast Exact Minimization of BDDsRolf Drechsler, Nicole Drechsler, Wolfgang Günther. dac 1998: 200-205 [doi]
- Linear Transformations and Exact Minimization of BDDsWolfgang Günther, Rolf Drechsler. glvlsi 1998: 325-330 [doi]
- Fast exact minimization of BDD sRolf Drechsler, Nicole Drechsler, Wolfgang Günther. tcad, 19(3):384-389, 2000. [doi]