An ILP algorithm for voltage-island generation considering temperature in 3D-Ics | IEEE Conference Publication | IEEE Xplore