Experimental algorithms : 11th international symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings - Ralf Klasing, editor ([, Springer-Verlag], 2012)