Optimal Scheduling Using Branch and Bound with SPIN 4.0.

Theo C. Ruys Optimal Scheduling Using Branch and Bound with SPIN 4.0. 1-17 2003 conf/spin/2003 SPIN https://doi.org/10.1007/3-540-44829-2_1 db/conf/spin/spin2003.html#Ruys03