![](/img/cover-not-exists.png)
[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - Detecting support-reducing bound sets using two-cofactor symmetries
Zhang, Jin S., Chrzanowska-Jeske, Malgorzata, Mishchenko, Alan, Burch, Jerry R.Year:
2005
Language:
english
DOI:
10.1145/1120725.1120846
File:
PDF, 283 KB
english, 2005