Skip to main content
Top

1998 | OriginalPaper | Chapter

Transformation Techniques for Optimization

Authors : Prof. Dr. Christoph Meinel, Dr. Thorsten Theobald

Published in: Algorithms and Data Structures in VLSI Design

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

In this chapter, we introduce transformation techniques which serve to further optimize OBDD representations. The optimization space in this framework goes far beyond the optimization space established by the optimization of the variable order.

Metadata
Title
Transformation Techniques for Optimization
Authors
Prof. Dr. Christoph Meinel
Dr. Thorsten Theobald
Copyright Year
1998
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-58940-9_13

Premium Partner