Linear sifting of decision diagrams

Proceedings - Design Automation Conference

Volumn , Issue , 1997, Pages 202-207

  Meinel, Christoph ^a   Somenzi, Fabio ^a   Theobald, Thorsten ^a  

^a UNIVERSITY OF TRIER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION;

LINEAR SIFTING ALGORITHM; VARIABLE REORDERING TECHNIQUES;

DECISION TABLES;

EID: 0030685641     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/266021.266066     Document Type: Conference Paper

References (24)