Detection of symmetry of Boolean functions represented by ROBDDs

Volumn , Issue , 1993, Pages 680-684

  Moeller, Dirk ^a   Mohnke, Janett ^a   Weber, Michael ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DATA STRUCTURES; EQUIVALENCE CLASSES; FUNCTION EVALUATION; GRAPH THEORY;

REDUCED ORDERED BINARY DECISION DIAGRAMS; SYMMETRY;

LOGIC DESIGN;

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

References (8)