Sciweavers

4013 search results - page 66 / 803
» computing 2002
Sort
View
DAC
2002
ACM
16 years 1 months ago
Can BDDs compete with SAT solvers on bounded model checking?
Gianpiero Cabodi, Paolo Camurati, Stefano Quer
88
Voted
DAC
2002
ACM
16 years 1 months ago
S-Tree: a technique for buffered routing tree synthesis
Milos Hrkic, John Lillis
91
Voted
ECCB
2002
IEEE
15 years 5 months ago
Modeling splicing sites with pairwise correlations
Masanori Arita, Koji Tsuda, Kiyoshi Asai