| Login | Create Account |
Browse by Authors
Group by: Date | Item Type Number of items: 4. 2004Gröpl, C. and Prömel, H.-J. and Srivastav, A. (2004) Ordered binary decision diagrams and the Shannon effect. Discrete Applied Mathematics, 142 . pp. 67-85. 2001Gröpl, C. and Prömel, H.-J. and Srivastav, A. (2001) On the Evolution of the Worst-Case OBDD Size. Information Processing Letters, 77 . pp. 1-7. 1998Gröpl, C. and Prömel, H.-J. and Srivastav, A. (1998) Size and Structure of Random Ordered Binary Decision Diagrams (Extended Abstract). In: STACS 98. 1997Block, M. and Gröpl, C. and Preuss, H. and Prömel, H. J. and Srivastav, A. (1997) Efficient ordering of state variables and transition relation partitions in symbolic model checking. Technical Report. UNSPECIFIED. |
