Representations of Discrete Functions
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer US

9781461285991, 9781461313854
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Edge Valued Binary Decision Diagrams

1996 ◽  
pp. 109-132 ◽  
Author(s):  
Sarma B. K. Vrudhula ◽  
Massoud Pedram ◽  
Yung-Te Lai
Keyword(s):  
Binary Decision Diagrams ◽  
Decision Diagrams ◽  
Binary Decision

Spectral Transform Decision Diagrams

1996 ◽  
pp. 55-92 ◽  
Author(s):  
Radomir S. Stanković ◽  
Tsutomu Sasao ◽  
Claudio Moraga
Keyword(s):  
Decision Diagrams ◽  
Spectral Transform

Complexity Theoretical Aspects of OFDDs

1996 ◽  
pp. 249-268 ◽  
Author(s):  
Beate Bollig ◽  
Martin Löbbing ◽  
Martin Sauerhoff ◽  
Ingo Wegener

Satisfiability Problems for OFDDs

1996 ◽  
pp. 233-248 ◽  
Author(s):  
Ralph Werchner ◽  
Thilo Harich ◽  
Rolf Drechsler ◽  
Bernd Becker
Keyword(s):  
Satisfiability Problems

Multiple Domain Logic Synthesis

1996 ◽  
pp. 211-232
Author(s):  
Jörg Bullmann ◽  
Udo Kebschull
Keyword(s):  
Logic Synthesis ◽  
Multiple Domain
Load More ...
Sign in / Sign up

Export Citation Format

Share Document