Experimental Algorithms – 12th International Symposium, SEA 2013