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.
Full text not available from this repository.
Item Type: | Conference or Workshop Item (UNSPECIFIED) |
---|---|
Uncontrolled Keywords: | VLSI-Design and layout, Hardware verification, Random graphs |
Subjects: | Mathematical and Computer Sciences > Computer Science |
Divisions: | Department of Mathematics and Computer Science > Institute of Computer Science > Algorithmic Bioinformatics Group |
ID Code: | 359 |
Deposited By: | Admin Administrator |
Deposited On: | 14 Apr 2009 14:42 |
Last Modified: | 14 Apr 2009 14:42 |
Repository Staff Only: item control page