Dynamic Programming via Thinning and Incrementalization. - Akimasa Morihata; Masato Koishi; Atsushi Ohori (FLOPS, 2014)