Many-Core Scheduling of Data Parallel Applications Using SMT Solvers. - Pranav Tendulkar; Peter Poplavko; Ioannis Galanommatis; Oded Maler (DSD, 2014)