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.
Full text not available from this repository.
| Item Type: | Monograph (Technical Report) |
|---|---|
| Uncontrolled Keywords: | Randomized algorithms and probabilistic analysis, VLSI-Design and layout, Binary Decision Diagrams, Hardware verification, Local search and metaheuristics |
| Subjects: | Mathematical and Computer Sciences > Computer Science |
| Divisions: | Department of Mathematics and Computer Science > Institute of Computer Science > Algorithmic Bioinformatics Group |
| ID Code: | 335 |
| Deposited By: | Admin Administrator |
| Deposited On: | 14 Apr 2009 14:44 |
| Last Modified: | 14 Apr 2009 14:44 |
Repository Staff Only: item control page
