Optimization toolkit for scheduling optimization in semiconductor back-ends | IEEE Conference Publication | IEEE Xplore