Who are the variables in your neighborhood

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1995, Pages 74-77

  Panda, Shipra ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STRUCTURES; DECISION THEORY;

BINARY DECISION DIAGRAMS (BDD); DYNAMIC REORDERING TECHNIQUES; VARIABLE SIFTING;

FORMAL LOGIC;

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

References (16)