|
Volumn , Issue , 1998, Pages 646-652
|
Design of experiments in BDD variable ordering: Lessons learned
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
BENCHMARKING;
CIRCUIT THEORY;
EQUIVALENCE CLASSES;
FORMAL LOGIC;
BINARY DECISION DIAGRAMS (BDD);
DESIGN OF EXPERIMENTS (DOE);
VARIABLE ORDERING ALGORITHMS;
DECISION THEORY;
|
EID: 0032305982
PISSN: 10923152
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (22)
|
References (17)
|