Bucket elimination: a unifying framework for reasoning
Dynamic programming and influence diagrams