Search Results - Slobodová, Anna

  • Showing 1 – 11 results of 11
Filter by
  1. 1
    Cover Image

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

    Published 1994
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1996
    Book


    Saved in:
  3. 3
    Cover Image

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

    Published 1994
    Book


    Saved in:
  4. 4
    Cover Image

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

    Published 1994
    Book


    Saved in:
  5. 5
    Cover Image

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

    Published 1993
    Book


    Saved in:
  6. 6
    Cover Image

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

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

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

    Published 1996
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

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

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

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

    Published 1997
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

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

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

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

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: