A thought on symbolic evaluation

The key problem of a general method is the following: The candidates in our DP problem are built from various components, and are scored by various scoring schemes. How can we provide a generic notion of universe, candidate and scoring?

The key idea of solving this problem is the observation that the computation of scores follows the composition of the candidate from smaller components. We can identify candidates with the formulas that compute their scores.