@PHDTHESIS{tendu2014,
url = "http://www.theses.fr/2014GRENM088",
title = "Mapping and scheduling on multi-core processors using SMT solvers",
author = "Tendulkar, Pranav",
year = "2014",
note = "Thèse de doctorat dirigée par Maler, Oded et Poplavko, Petro Informatique Grenoble 2014",
note = "2014GRENM088",
url = "http://www.theses.fr/2014GRENM088/document",
}