VLSI-Effiziente Algorithmen und Datenstrukturen
Kurzfassung
Nicht verfügbar
Veröffentlichungen
- Meinel, Ch; Theobald, Th
- On the influence of the state encoding on OBDD-representations of finite state machines
- Meinel, Christoph; Stangier, Christian
- Speeding up symbolic model checking by accelerating dynamic variable reordering
- Meinel, Christoph; Sack, Harald
- [Mod2]-OBDDs : a BDD structure for probabilistic verification
- Slobodová, Anna; Meinel, Christoph
- Contributed Papers - Sample Method for Minimization of OBDDs
- Bern, J.; Meinel, C.; Sack, H.
- Electronic Colloquia: Idea and Practice
- Meinel, Christoph; Sack, Harald
- Case-study : manipulating -OBDDs by means of signatures
- Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
- Function decomposition and synthesis using linear sifting
- Meinel, C.; Slobodová, A.
- Speeding up Variable Ordering of OBDDs
- Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
- Linear sifting of decision diagrams
- Meinel, Christoph; Slobodová, Anna
- Speeding up variable reordering of OBDDs
