Efficient DTPP solving with a reduction-based approach