مرکز منطقه ای اطلاع رساني علوم و فناوري - Solving Covering Problems Using LPR-based Lower Bounds

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

Link To Document :