Minimization of symbolic relations

1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers

Volumn , Issue , 1990, Pages 88-91

  Lin, Bill ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--ALGORITHMS; OPTIMIZATION;

BINARY DECISION DIAGRAMS; OPTIMAL ENCODING; SYMBOLIC RELATIONS;

CODES, SYMBOLIC;

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

References (9)