New Ideas for Solving Covering Problems

Olivier Coudert
1995 Proceedings - Design Automation Conference  
Covering problems occur at several steps during logic synthesis including two-level minimization and DAG c o v ering. This paper presents a better lower bound computation algorithm and two new pruning techniques that signicantly improve the eciency of covering problem solvers. We show that these techniques reduce by u p t o three orders of magnitude the time required to solve c o vering problems exactly.
doi:10.1109/dac.1995.250043 fatcat:dknlmtjomzgl5phokv7txxlwki