Sciweavers

9176 search results - page 17 / 1836
» algorithms 2010
Sort
View
70
Voted
ECCC
2007
59views more  ECCC 2007»
15 years 3 months ago
Improved approximation algorithms for directed Steiner forest
Sharon Feldman, Guy Kortsarz, Zeev Nutov
81
Voted
ENTCS
2007
79views more  ENTCS 2007»
15 years 3 months ago
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
Moritz Hardt, Gert Smolka