Exact and heuristic algorithms for scheduling on two identical machines with early work maximization. (June 2020)