Negative thinking by incremental problem solving: Application to unate covering

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

Volumn , Issue , 1997, Pages 91-98

  Goldberg, Evguenii I ^a   Carloni, Luca P ^a   Villa, Tiziano ^a   Brayton, Robert K ^a   Sangiovanni Vincentelli, Alberto L ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED LOGIC DESIGN; COMPUTER SOFTWARE; ELECTRIC NETWORK ANALYSIS; ELECTRIC NETWORK SYNTHESIS; MATHEMATICAL MODELS; OPTIMIZATION; PROBLEM SOLVING;

INCREMENTAL PROBLEM SOLVING; SOFTWARE PACKAGE AURA; SOFTWARE PACKAGE ESPRESSO; SOFTWARE PACKAGE SCHERZO; UNATE COVERING PROBLEM;

LOGIC CIRCUITS;

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

References (9)