Algorithms for discrete function manipulation

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

Volumn , Issue , 1990, Pages 92-95

  Srinivasan, Arvind ^a   Kam, Timothy ^a   Malik, Sharad ^a   Brayton, Robert K ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--ALGORITHMS; DECISION THEORY AND ANALYSIS;

DECISION DIAGRAMS; DISCRETE FUNCTIONS;

MATHEMATICAL TECHNIQUES;

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

References (3)