Dynamic Programming for the Subset Sum Problem. - Hiroshi Fujiwara; Hokuto Watari; Hiroaki Yamamoto (Formaliz. Math., 2020)