Dynamic programming for the subset sum problem
From MaRDI portal
Publication:2658814
DOI10.2478/FORMA-2020-0007zbMath1462.68225OpenAlexW3033134453MaRDI QIDQ2658814
Hiroshi Fujiwara, Hiroaki Yamamoto, Hokuto Watari
Publication date: 24 March 2021
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2020-0007
Analysis of algorithms and problem complexity (68Q25) Combinatorial optimization (90C27) Dynamic programming (90C39) Formalization of mathematics in connection with theorem provers (68V20)
Cites Work
This page was built for publication: Dynamic programming for the subset sum problem