Repository: Freie Universität Berlin, Math Department

Browse by Authors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2004 | 2001 | 1998 | 1997
Number of items: 4.

2004

Grö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.

2001

Grö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.

1998

Grö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.

1997

Block, 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.

This list was generated on Tue Dec 11 20:31:46 2018 CET.