Shared multiple-valued decision diagrams for multiple-output functions

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 1999, Pages 166-172

  Babu, Hafiz Md Hasan ^a   Sasao, Tsutomu ^a  

^a KYUSHU INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DECISION THEORY; FUNCTIONS; THEOREM PROVING;

BINARY DECISION DIAGRAMS (BDD); MULTIPLE-OUTPUT FUNCTIONS; SHARED MULTIPLE-VALUED DECISION DIAGRAMS (SMDD);

MANY VALUED LOGICS;

EID: 0032649037     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (19)