TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 3.
1998
Höreth, Stefan ; Drechsler, (1998)
Dynamic minimization of word-level decision diagrams.
Konferenzveröffentlichung, Bibliographie
1997
Höreth, Stefan ; Drechsler, (1997)
Compilation of fast manipulation algorithms for K*BMDs.
Konferenzveröffentlichung, Bibliographie
Höreth, Stefan ; Drechsler, (1997)
Fast construction of Kronecker decision diagrams from library based circuits.
Konferenzveröffentlichung, Bibliographie