|
|
|
Volumn , Issue , 1996, Pages 208-214
|
|
Ordering heuristic for building binary decision diagrams from fault-trees
a
a
EDF R AND D
(France)
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
BOOLEAN FUNCTIONS;
COMPUTER WORKSTATIONS;
DECISION THEORY;
HEURISTIC METHODS;
LARGE SCALE SYSTEMS;
OPTIMIZATION;
PROBABILITY;
THEOREM PROVING;
BINARY DECISION DIAGRAMS;
CANONICAL REPRESENTATION;
MODULAR DECOMPOSITION;
OPTIMAL ORDERING;
FAILURE ANALYSIS;
|
|
EID: 0029755826
PISSN: 0149144X
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (51)
|
|
References (12)
|
