Parallelization of Algorithms for Linear Discrete Optimization Using ParaPhrase. - Michael Rossbory; Werner Reisner (DEXA Workshops, 2013)