Integer programming techniques for multiway system partitioning under timing and capacity constraints | IEEE Conference Publication | IEEE Xplore