best student paper award @SAT2017

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