Using lower bounds during dynamic BDD minimization - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Rolf Drechsler, Wolfgang Günther, Fabio Somenzi. Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD of Integrated Circuits and Systems, 20(1):51-57, 2001. [doi]

The following publications are possibly variants of this publication:

Using Lower Bounds During Dynamic BDD MinimizationRolf Drechsler, Wolfgang Günther. dac 1999: 29-32 [doi]

Lower bounds for dynamic BDD reorderingRüdiger Ebendt, Rolf Drechsler. aspdac 2005: 579-582 [doi]

Combination of Lower Bounds in Exact BDD MinimizationRüdiger Ebendt, Wolfgang Günther, Rolf Drechsler. date 2003: 10758-10763 [doi]

Effect of improved lower bounds in dynamic BDD reorderingRüdiger Ebendt, Rolf Drechsler. tcad, 25(5):902-909, 2006. [doi]

History-Based Dynamic Minimization During BDD ConstructionRolf Drechsler, Wolfgang Günther. ifip10-5 2000: 334-345

BDD minimization using symmetriesChristoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler. tcad, 18(2):81-100, 1999. [doi]

History-based dynamic BDD minimizationRolf Drechsler, Wolfgang Günther. integration, 31(1):51-63, 2001. [doi]

A Tight Lower Bound for Dynamic BDD ReorderingRüdiger Ebendt, Rolf Drechsler. mbmv 2004: 233-242

runs on WebDSL