|
|
|
Volumn , Issue , 1995, Pages 602-607
|
|
Dynamic minimization of OKFDDs
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
BOOLEAN FUNCTIONS;
COMPUTATIONAL COMPLEXITY;
DECISION TABLES;
HEURISTIC METHODS;
LOGIC CIRCUITS;
MATHEMATICAL TECHNIQUES;
DYNAMIC VARIABLE ORDERING;
ORDERED BINARY DECISION DIAGRAMS;
ORDERED FUNCTIONAL DECISION DIAGRAMS;
ORDERED KRONECKER FUNCTIONAL DECISION DIAGRAMS;
TECHNOLOGY MAPPING;
DATA STRUCTURES;
|
|
EID: 0029540196
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (19)
|
|
References (19)
|
