Sciweavers

4013 search results - page 66 / 803
» computing 2002
Sort
View
DAC
2002
ACM
16 years 3 months ago
Can BDDs compete with SAT solvers on bounded model checking?
Gianpiero Cabodi, Paolo Camurati, Stefano Quer