|
Volumn , Issue , 1999, Pages 381-387
|
SBDD variable reordering based on probabilistic and evolutionary algorithms
a a a a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
EVOLUTIONARY ALGORITHMS;
SHARED BINARY DECISION DIAGRAM;
VARIABLE REORDERING;
COMPUTATIONAL COMPLEXITY;
DECISION THEORY;
GENETIC ALGORITHMS;
HEURISTIC METHODS;
PROBABILITY;
DATA STRUCTURES;
|
EID: 0033342847
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Article |
Times cited : (9)
|
References (20)
|