Matrixfreie Löser für exakte Strafunterprobleme