Delbert Kraus rosellawehner · Reducing Solving Costs Without Cutting Corners