Minimizing the Weighted Number of Tardy Jobs via (max,+)-Convolutions - BizPub.ai