ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Hi-index | 0.00 |
Many problems of interest in the field of electronic design automation can be formulated as binate covering problems. This occurs whenever the solution sought for is the minimum cost assignment satisfying a boolean formula in conjunctive form. Practical problems may have hundreds of variables and thousands of clauses; hence efficient techniques are important. In this paper we propose a new iterative scheme that is based on solving a sequence of sub-problems that normally lead to the solution of the original problem in a fraction of the time.