Zaslat SMS: Algorithms and computation : 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings / Hee-Kap Ahn, Chan-Su Shin (eds.).