Figure 2: Incorporating feedback to the framework to reduce unnecessary computation. Solved subproblems can provide lifetime lower bound to unsolved subproblems.