Verified Memoization and Dynamic Programming.

Simon Wimmer Shuwei Hu Tobias Nipkow

Published in: ITP (2018)

Keyphrases

dynamic programming
state space
stereo matching
greedy algorithm
optimal control
linear programming
piecewise linear
dp matching
data sets
decision trees
cooperative
data mining
feature selection
multi agent systems
locally optimal