CoSA: Scheduling by Constrained Optimization for Spatial Accelerators | IEEE Conference Publication | IEEE Xplore