Algorithms and complexity 8th International Conference, CIAC 2013, Barcelona, Spain, may 22-24, 2013 ; proceedings (Springer, 2013)