An Efficient Binary Integer Programming Model for Residency Time-Constrained Cluster Tools With Chamber Cleaning Requirements | IEEE Journals & Magazine | IEEE Xplore