Linear Programming Formulations for Thermal-Aware Test Scheduling of 3D-Stacked Integrated Circuits | IEEE Conference Publication | IEEE Xplore