Common operation scheduling with general processing times: A branch-and-cut algorithm to minimize the weighted number of tardy jobs. (April 2019)