Generic integer linear programming formulation for 3D IC partitioning | IEEE Conference Publication | IEEE Xplore