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.
background image
university bielefeld AG PI BiBiServ
ambient picture