 | 2010 |
| 18 |  | Octav Brudaru,
Rüdiger Ebendt,
Iulian Furdu:
Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm.
SYNASC 2010: 167-173 |
| 2009 |
| 17 |  | Rüdiger Ebendt,
Rolf Drechsler:
Approximate BDD Minimization by Weighted A.
ISCAS 2009: 2974-2977 |
| 16 |  | Rüdiger Ebendt,
Rolf Drechsler:
Weighted A* search - unifying view and application.
Artif. Intell. 173(14): 1310-1342 (2009) |
| 2007 |
| 15 |  | 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 |
| 14 |  | Rüdiger Ebendt,
Rolf Drechsler:
On the sensitivity of BDDs with respect to path-related objective functions.
ISCAS 2006 |
| 13 |  | Rüdiger Ebendt,
Rolf Drechsler:
A Framework for Quasi-exact Optimization Using Relaxed Best-First Search.
KI 2006: 331-345 |
| 12 |  | 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 |
| 11 |  | Rüdiger Ebendt,
Görschwin Fey,
Rolf Drechsler:
Advanced BDD optimization.
Springer 2005: I-X, 1-222 |
| 10 |  | Rüdiger Ebendt,
Rolf Drechsler:
Lower bounds for dynamic BDD reordering.
ASP-DAC 2005: 579-582 |
| 9 |  | Rüdiger Ebendt,
Rolf Drechsler:
Quasi-Exact BDD Minimization Using Relaxed Best-First Search.
ISVLSI 2005: 59-64 |
| 8 |  | Rüdiger Ebendt,
Rolf Drechsler:
Exact BDD Minimization for Path-Related Objective Functions.
VLSI-SoC 2005: 299-315 |
| 7 |  | 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 |
| 6 |  | 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 |
| 5 |  | 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 |
| 4 |  | Rüdiger Ebendt:
Heuristic and exact optimization of reduced ordered binary decision diagrams (BDDs).
University of Kaiserslautern 2004: 1-147 |
| 2003 |
| 3 |  | Rüdiger Ebendt,
Wolfgang Günther,
Rolf Drechsler:
Combination of Lower Bounds in Exact BDD Minimization.
DATE 2003: 10758-10763 |
| 2 |  | Rüdiger Ebendt:
Reducing the number of variable movements in exact BDD minimization.
ISCAS (5) 2003: 605-608 |
| 1 |  | 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) |