On variable ordering and decomposition type choice in OKFDDs

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 1995, Pages 805-810

  Drechsler, Rolf ^a   Becker, Bernd ^a   Jahnke, Andrea ^a  

^a GOETHE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; DATA STRUCTURES; HEURISTIC METHODS; LOGIC DESIGN; LOGIC GATES;

MULTILEVEL CIRCUITS; ORDERED BINARY DECISION DIAGRAMS; ORDERED FUNCTIONAL DECISION DIAGRAMS; ORDERED KRONECKER FUNCTIONAL DECISION DIAGRAMS; TWO LEVEL CIRCUITS; XOR GATES;

DECISION THEORY;

EID: 0029484779     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)