Miguel Terra-Neves, Inês Lynce and Vasco Manquinho received the best student paper award for: Introducing Pareto Minimal Correction Subsets, @ the SAT2017 conference.