Sciweavers

9176 search results - page 16 / 1836
» algorithms 2010
Sort
View
ENDM
2006
53views more  ENDM 2006»
13 years 9 months ago
A completely dynamic algorithm for split graphs
Federico Mancini, Pinar Heggernes
ENTCS
2006
122views more  ENTCS 2006»
13 years 9 months ago
Algorithmic Algebraic Model Checking III: Approximate Methods
Venkatesh Mysore, Bud Mishra