![](/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 - Can BDDs compete with SAT solvers on bounded model checking?
Cabodi, Gianpiero, Camurati, Paolo, Quer, StefanoYear:
2002
Language:
english
DOI:
10.1145/513918.513949
File:
PDF, 219 KB
english, 2002