Gunnar Andersson, Per Bjesse, Byron Cook, Ziyad Hanna. A proof engine approach to solving combinational design automation problems. In Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002. pages 725-730, ACM, 2002. [doi]
No reviews for this publication, yet.