@phdthesis{Ten4,
title = {Mapping and Scheduling on Multi-core Processors using SMT Solvers },
author = {Tendulkar, Pranav},
month = {October},
year = {2014},
school = {University of Grenoble},
team = {TEMPO, Other},
}
