Rolf Drechsler
Rolf Drechsler
Professor at University of Bremen, Director DFKI Bremen, Germany
Bestätigte E-Mail-Adresse bei uni-bremen.de
TitelZitiert vonJahr
BDD-based synthesis of reversible logic for large functions
R Wille, R Drechsler
Proceedings of the 46th Annual Design Automation Conference, 270-275, 2009
3172009
RevLib: An online resource for reversible functions and reversible circuits
R Wille, D Große, L Teuber, GW Dueck, R Drechsler
38th International Symposium on Multiple Valued Logic (ismvl 2008), 220-225, 2008
3122008
Efficient representation and manipulation of switching functions based on ordered Kronecker functional decision diagrams
R Drechsler, A Sarabi, M Theobald, B Becker, MA Perkowski
Proceedings of the 31st annual Design Automation Conference, 415-419, 1994
2711994
Binary decision diagrams: theory and implementation
R Drechsler, B Becker
Springer Science & Business Media, 2013
2672013
Exact multiple-control toffoli network synthesis with SAT techniques
D Große, R Wille, GW Dueck, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2009
1752009
Genetic algorithm for variable ordering of OBDDs
R Drechsler, B Becker, N Göckel
IEE Proceedings-Computers and Digital Techniques 143 (6), 364-368, 1996
1611996
Binary decision diagrams in theory and practice
R Drechsler, D Sieling
International Journal on Software Tools for Technology Transfer 3 (2), 112-136, 2001
1552001
RTL-datapath verification using integer linear programming
R Brinkmann, R Drechsler
Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design …, 2002
1542002
Verifying UML/OCL models using Boolean satisfiability
M Soeken, R Wille, M Kuhlmann, M Gogolla, R Drechsler
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
1492010
Advanced formal verification
R Drechsler
Kluwer Academic Publishers, 2004
1382004
Multi-objective optimisation based on relation favour
N Drechsler, R Drechsler, B Becker
International conference on evolutionary multi-criterion optimization, 154-166, 2001
1272001
Synthesis of quantum circuits for linear nearest neighbor architectures
M Saeedi, R Wille, R Drechsler
Quantum Information Processing 10 (3), 355-377, 2011
1172011
Implementing a multiple-valued decision diagram package
DM Miller, R Drechsler
Proceedings. 1998 28th IEEE International Symposium on Multiple-Valued Logic …, 1998
1151998
Fast OFDD-based minimization of fixed polarity Reed-Muller expressions
R Drechsler, M Theobald, B Becker
IEEE Transactions on Computers 45 (11), 1294-1299, 1996
1141996
Robust multi-objective optimization in high dimensional spaces
A Sülflow, N Drechsler, R Drechsler
International conference on evolutionary multi-criterion optimization, 715-726, 2007
1092007
International business and government relations in the 21st century
JN Behrman
Cambridge University Press, 2005
107*2005
K* BMDs: A new data structure for verification
R Drechsler, B Becker, S Ruppertz
Proceedings ED&TC European Design and Test Conference, 2-8, 1996
1071996
Evolutionary algorithms for VLSI CAD
R Drechsler
Springer Science & Business Media, 2013
1062013
On acceleration of SAT-based ATPG for industrial designs
R Drechsler, S Eggergluss, G Fey, A Glowatz, F Hapke, J Schlöffel, D Tille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
1062008
Fast exact minimization of BDDs
R Drechsler, N Drechsler, W Gunther
Proceedings 1998 Design and Automation Conference. 35th DAC.(Cat. No …, 1998
1061998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20