Implements a DynamicProgramming approach for solving small instances exactly.