Optimization And NotMartin Schaaf
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
000245 | Anna Slobodova [États-Unis, Slovaquie] ; Christoph Meinel [Allemagne] | Sample Method for Minimization of OBDDs |
000275 | Christoph Meinel [Allemagne] ; Thorsten Theobald [Allemagne] | Local encoding transformations for optimizing OBDD-representations of finite state machines |
000283 | C. W. Kessler [Allemagne] | Scheduling expression DAGs for minimal register need |
This area was generated with Dilib version V0.6.31. |