Sufficient and necessary conditions for Dynamic Programming in Valuation-Based Systems

14 Aug 2015Jordi Roca-LacostenaJesus CerquidesMarc Pouly

Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notion of solution... (read more)

PDF Abstract


No code implementations yet. Submit your code now


Results from the Paper

  Submit results from this paper to get state-of-the-art GitHub badges and help the community compare results to other papers.