Generic Integer Linear Programming Formulation for 3D IC Partitioning. - Wan-Yu Lee; Iris Hui-Ru Jiang; Tsung-Wan Mei (J. Inf. Sci. Eng., 2012)