Exact and Heuristic Approaches for Weighted Throughput Maximization in Single-Machine Scheduling | Synapse