Treffer 1 - 11 von 11 für Suche 'Slobodová, Anna', Suchdauer: 0,57s Treffer weiter einschränken
  1. 1
    Global rebuilding of OBDD's - tunnelling memory requirement maxima

    Global rebuilding of OBDD's - tunnelling memory requirement maxima von Bern, Jochen, Meinel, Christoph, Slobodová, Anna

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Efficient OBDD based Boolean manipulation in CAD beyond current limits

    Efficient OBDD based Boolean manipulation in CAD beyond current limits von Bern, Jochen, Meinel, Christoph, Slobodová, Anna

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Block restricted reordering extended experiments

    Block restricted reordering extended experiments von Meinel, Christoph, Slobodová, Anna, Willems, Peter

    Veröffentlicht 1997
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    An adequate reducibility concept for problems defined in terms of ordered binary decision diagrams

    An adequate reducibility concept for problems defined in terms of ordered binary decision diagrams von Meinel, Christoph, Slobodová, Anna

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Speeding up variable reordering of OBDDs

    Speeding up variable reordering of OBDDs von Meinel, Christoph, Slobodová, Anna

    Veröffentlicht 1996
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A unifying theoretical background for some BDD based data structures

    A unifying theoretical background for some BDD based data structures von Meinel, Christoph, Slobodová, Anna

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Some heuristics for generating tree-like FBDD types

    Some heuristics for generating tree-like FBDD types von Bern, Jochen, Meinel, Christoph, Slobodová, Anna

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    On the complexity of constructing optimal OBDD's

    On the complexity of constructing optimal OBDD's von Meinel, Christoph, Slobodová, Anna

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Efficient manipulation with FBDDs by means of a modified OBDD-package

    Efficient manipulation with FBDDs by means of a modified OBDD-package von Slobodová, Anna, Meinel, Christoph

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Efficient manipulation of FBDDs by means of a modified OBDD package

    Efficient manipulation of FBDDs by means of a modified OBDD package von Slobodová, Anna

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Efficient manipulation of FBDDs by means of a modified OBDD package

    Efficient manipulation of FBDDs by means of a modified OBDD package von Slobodová, Anna, Meinel, Christoph

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: