On the relation between disjunctive decomposition and ROBDD variable ordering

IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing - Proceedings

Volumn 2, Issue , 1997, Pages 688-691

  Dubrova, E V ^a   Miller, D M ^a   Muzio, J C ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; DATA STRUCTURES;

REDUCED ORDERED BINARY DECISION DIAGRAM (ROBDD); VARIABLE ORDERING;

DECISION THEORY;

EID: 0031344391     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)