Efficient dual-armed cluster tool performance via branch and cut optimization algorithm | IEEE Conference Publication | IEEE Xplore