Transformation concepts

Research Topic: Transformation concepts

Technical Reports:

• Ch. Meinel, F. Somenzi, Th. Theobald: 
  Function Decomposition and Synthesis Using Linear Sifting
• Ch. Meinel, F. Somenzi, Th. Theobald: 
  Linear Sifting of Decision Diagrams

Publications:

• Ch. Meinel, F. Somenzi, T. Theobald 
  Function Decomposition and Synthesis Using Linear Sifting 
  Proc. ASP-DAC'98, Yokohama (Japan), 1998, pp. 81-86.
• Ch. Meinel, F. Somenzi, T. Theobald 
  Linear Sifting of Decision Diagrams 
  Proc. 34th IEEE/ACM DAC, Anaheim (USA), IEEE Computer Society Press, 1997, 202-207.

People:

• Prof. Dr. Christoph Meinel
• Prof. Dr. Fabio Somenzi (Boulder)
• Dr. Thorsten Theobald