2007 |
13 | EE | Daniel Große,
Rüdiger Ebendt,
Rolf Drechsler:
Improvements for constraint solving in the systemc verification library.
ACM Great Lakes Symposium on VLSI 2007: 493-496 |
2006 |
12 | EE | Rüdiger Ebendt,
Rolf Drechsler:
On the sensitivity of BDDs with respect to path-related objective functions.
ISCAS 2006 |
11 | EE | Rüdiger Ebendt,
Rolf Drechsler:
A Framework for Quasi-exact Optimization Using Relaxed Best-First Search.
KI 2006: 331-345 |
10 | EE | Rüdiger Ebendt,
Rolf Drechsler:
Effect of improved lower bounds in dynamic BDD reordering.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 902-909 (2006) |
2005 |
9 | EE | Rüdiger Ebendt,
Rolf Drechsler:
Lower bounds for dynamic BDD reordering.
ASP-DAC 2005: 579-582 |
8 | EE | Rüdiger Ebendt,
Rolf Drechsler:
Quasi-Exact BDD Minimization Using Relaxed Best-First Search.
ISVLSI 2005: 59-64 |
7 | EE | Rüdiger Ebendt,
Rolf Drechsler:
Exact BDD Minimization for Path-Related Objective Functions.
VLSI-SoC 2005: 299-315 |
6 | EE | Rüdiger Ebendt,
Wolfgang Günther,
Rolf Drechsler:
Combining ordered best-first search with branch and bound for exact BDD minimization.
IEEE Trans. on CAD of Integrated Circuits and Systems 24(10): 1515-1529 (2005) |
2004 |
5 | EE | Rüdiger Ebendt,
Wolfgang Günther,
Rolf Drechsler:
Minimization of the expected path length in BDDs based on local changes.
ASP-DAC 2004: 865-870 |
4 | EE | Rüdiger Ebendt,
Wolfgang Günther,
Rolf Drechsler:
Combining ordered best-first search with branch and bound for exact BDD minimization.
ASP-DAC 2004: 875-878 |
2003 |
3 | EE | Rüdiger Ebendt,
Wolfgang Günther,
Rolf Drechsler:
Combination of Lower Bounds in Exact BDD Minimization.
DATE 2003: 10758-10763 |
2 | EE | Rüdiger Ebendt:
Reducing the number of variable movements in exact BDD minimization.
ISCAS (5) 2003: 605-608 |
1 | EE | Rüdiger Ebendt,
Wolfgang Günther,
Rolf Drechsler:
An improved branch and bound algorithm for exact BDD minimization.
IEEE Trans. on CAD of Integrated Circuits and Systems 22(12): 1657-1663 (2003) |