An exact methodology for scheduling in a 3D design space | IEEE Conference Publication | IEEE Xplore