Scalability of CIF makespan and throughput synthesis
To circumvent the issue of not having multi-claim resources, optimum dispatching sequences could be generated. Unfortunately, this does not scale very well. Ways to improve scalability would be very valuable.