Design of experiments in BDD variable ordering: Lessons learned

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1998, Pages 646-652

  Harlow III, Justin E ^a   Brglez, Franc ^a  

^a DUKE UNIVERSITY   (United States)

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

References (17)