Breadth-first manipulation of SBDD of Boolean functions for vector processing

Proceedings - Design Automation Conference

Volumn , Issue , 1991, Pages 413-416

  Ochi, Hiroyuki ^a   Ishiura, Nagisa ^a   Yajima, Shuzo ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--BOOLEAN FUNCTIONS;

SHARED BINARY DECISION DIAGRAMS (SBDD); VECTOR SUPERCOMPUTERS;

COMPUTERS, SUPERCOMPUTER;

EID: 0026175108     PISSN: 01467123     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/127601.127704     Document Type: Conference Paper

References (6)