![](/img/cover-not-exists.png)
[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - Circuit-based Boolean Reasoning
Kuehlmann, Andreas, Ganai, Malay K., Paruthi, VireshYear:
2001
Language:
english
DOI:
10.1145/378239.378470
File:
PDF, 143 KB
english, 2001