A framework for satisfying input and output encoding constraints

Proceedings - Design Automation Conference

Volumn , Issue , 1991, Pages 170-175

  Saldanha, Alexander ^a   Villa, Tiziano ^a   Brayton, Robert K ^a   Sangiovanni Vincentelli, Alberto L ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES--ALGORITHMS;

HEURISTIC ALGORITHMS;

CODES, SYMBOLIC;

EID: 0026175137     PISSN: 01467123     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/127601.127656     Document Type: Conference Paper

References (11)