Searching for authors named "Jochen Bern" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Global Rebuilding of OBDDs Avoiding Memory Requirement Maxima
- …Global Rebuilding of OBDDs Avoiding Memory Requirement Maxima Jochen Bern, Christoph Meinel, Anna…
- Cited by 9 (3 self) – Add To MetaCart
-
Some Heuristics for Generating Tree-like FBDD Types
- …Some Heuristics for Generating Tree-like FBDD Types Jochen Bern, Christoph Meinel, Anna Slobodov…
- Cited by 12 (0 self) – Add To MetaCart
-
Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
- …Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits Jochen Bern Christoph…
- Cited by 10 (1 self) – Add To MetaCart
-
Boolean Manipulation with Free BDD's. First Experimental Results.
- …Boolean Manipulation with Free BDD's. First Experimental Results. Jochen Bern, Jordan Gergov…
- Cited by 6 (0 self) – Add To MetaCart
-
Global Rebuilding of OBDDs -- Tunnelling Memory Requirement Maxima
- …-03 Global Rebuilding of OBDD's -- Tunnelling Memory Requirement Maxima Jochen Bern Christoph Meinel Anna…
- Add To MetaCart
-
Boolean Manipulation with Free BDD's. First Experimental Results.
- …'s. First Experimental Results. Jochen Bern Jordan Gergov Christoph Meinel Anna Slobodov'a FB IV…
- Add To MetaCart
-
Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
- …-16 Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits Jochen Bern, Christoph Meinel, Anna…
- Add To MetaCart
-
One Step Further: Extending Electronic Submission Into the Reviewing Process
- … Step Further: Extending Electronic Submission Into the Reviewing Process Jochen Bern Christoph Meinel…
- Add To MetaCart
Showing 1 through 8.
