Decision Diagram Based Integer Programming for the Paired Job Scheduling Problem

The paired job scheduling problem seeks to schedule n jobs on a single machine, each job consisting of two tasks for which there is a mandatory minimum waiting time between the completion of the fi...