Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. - Jaffar, Joxan; Santosa, Andrew E.; Voicu, Razvan (2008)