![](/img/cover-not-exists.png)
[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - A proof engine approach to solving combinational design automation problems
Andersson, Gunnar, Bjesse, Per, Cook, Byron, Hanna, ZiyadYear:
2002
Language:
english
DOI:
10.1145/513918.514101
File:
PDF, 123 KB
english, 2002