The Scheduling Job-Set Optimization Problem: A Model-Based Diagnosis Approach