Solving covering problems using LPR-based lower bounds

Proceedings - Design Automation Conference

Volumn , Issue , 1997, Pages 117-120

  Liao, Stan ^a   Devadas, Srinivas ^a  

^a SYNOPSYS INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; HEURISTIC METHODS; MATHEMATICAL TECHNIQUES; OPTIMIZATION; PROBLEM SOLVING;

BINATE COVERING; GIMPELS REDUCTION; INCREMENTAL COMPUTATION; INTEGER LINEAR PROGRAMMING; LINEAR PROGRAMMING RELAXATION; LOGIC SYNTHESIS;

LINEAR PROGRAMMING;

EID: 0030646021     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dac.1997.597128     Document Type: Conference Paper

References (12)