How to Produce BlockSum Instances with Various Levels of Difficulty. - Kazuya Haraguchi; Yasutaka Abe; Akira Maruoka (J. Inf. Process., 2012)