Sciweavers

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