DocumentCode :
1552120
Title :
An efficient heuristic approach to solve the unate covering problem
Author :
Cordone, Roberto ; Ferrandi, Fabrizio ; Sciuto, Donatella ; Calvo, Roberto Wolfler
Author_Institution :
Dipt. di Elettronica e Informazione, Politecnico di Milano, Italy
Volume :
20
Issue :
12
fYear :
2001
fDate :
12/1/2001 12:00:00 AM
Firstpage :
1377
Lastpage :
1388
Abstract :
The paper presents a new approach to solve the unate covering problem based on exploitation of information provided by Lagrangean relaxation. In particular, main advantages of the proposed heuristic algorithm are the effective choice of elements to be included in the solution, cost-related reductions of the problem, and a good lower bound on the optimum. The results support the effectiveness of this approach: on a wide set of benchmark problems, the algorithm nearly always hits the optimum and in most cases proves it to be such. On the problems whose optimum is actually unknown, the best known result is strongly improved
Keywords :
minimisation of switching nets; relaxation theory; Lagrangian relaxation; heuristic algorithm; two-level logic minimization; unate covering problem; Associate members; Circuit synthesis; Computer science; Helium; Heuristic algorithms; Lagrangian functions; Logic; Minimization methods; Software engineering; Very large scale integration;
fLanguage :
English
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
Publisher :
ieee
ISSN :
0278-0070
Type :
jour
DOI :
10.1109/43.969431
Filename :
969431
Link To Document :
بازگشت