DocumentCode

2566255

Title

Solving Covering Problems Using LPR-based Lower Bounds

Author

Liao, Stan ; Devadas, Srinivas

Author_Institution

Advanced Technology Group, Synopsys, Inc,

fYear

1997

fDate

9-13 June 1997

Firstpage

117

Lastpage

120

Keywords

Costs; Encoding; Integer linear programming; Linear programming; Logic programming; Minimization methods; Permission;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1997. Proceedings of the 34th

Conference_Location

Anaheim, CA, USA

ISSN

0738-100X

Print_ISBN

0-7803-4093-0

Type

conf

DOI

10.1109/DAC.1997.597128

Filename

597128