Mandrioli, Luca (2011) Learning for scheduling a portfolio of constraint solvers. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]