dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rüdiger Ebendt Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Octav Brudaru [18]
2Rolf Drechsler [1] [3] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
3Görschwin Fey [11]
4Iulian Furdu [18]
5Daniel Große [15]
6Wolfgang Günther [1] [3] [5] [6] [7]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page