Sciweavers

3680 search results - page 5 / 736
» cases 2010
Sort
View
ECCC
2006
37views more  ECCC 2006»
13 years 5 months ago
Worst Case and Probabilistic Analysis of the 2-Opt Algorithm for the TSP
Matthias Englert, Heiko Röglin, Berthold V&ou...
ENTCS
2007
73views more  ENTCS 2007»
13 years 5 months ago
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
Carlos Bazílio, Edward Hermann Haeusler, Ma...