Text this: Exact and Heuristic Approaches for Weighted Throughput Maximization in Single-Machine Scheduling.