Algorithm Theory – SWAT 2014 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings - Ravi, R.; Gørtz, Inge Li (Springer International Publishing : Imprint: Springer, 2014)