3 search results - page 1 / 1 » Effective bounding techniques for solving unate and binate c... |
DAC
2005
ACM
14 years 5 months ago
2005
ACM
Covering problems arise in many areas of electronic design automation such as logic minimization and technology mapping. An exact solution can critically impact both size and perf...
DATE
2000
IEEE
13 years 8 months ago
2000
IEEE
The classical solving approach for two-level logic minimisation reduces the problem to a special case of unate covering and attacks the latter with a (possibly limited) branch-and...
ICCAD
1997
IEEE
13 years 9 months ago
1997
IEEE
We introduce a new technique to solve exactly a discrete optimization problem, based on the paradigm of “negative” thinking. The motivation is that when searching the space of...