Sufficient and necessary conditions for Dynamic Programming in Valuation-Based Systems | Read Paper on Bytez