Sampling schemes for computing OBDD variable orderings

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

Volumn , Issue , 1998, Pages 631-638

  Jain, Jawahar ^a   Adams, William ^a   Fujita, Masahiro ^a  

^a FUJITSU LABORATORIES OF AMERICA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY;

ORDERED BINARY DECISION DIAGRAMS (OBDD); VARIABLE ORDERING METHOD;

DECISION THEORY;

EID: 0032312147     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/288548.289099     Document Type: Conference Paper

References (32)