Sciweavers

4013 search results - page 66 / 803
» computer 2002
Sort
View
DAC
2002
ACM
16 years 7 months ago
Can BDDs compete with SAT solvers on bounded model checking?
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
ECCB
2002
IEEE
15 years 11 months ago
Modeling splicing sites with pairwise correlations
Masanori Arita, Koji Tsuda, Kiyoshi Asai