16th August 2017 Institutional

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.

RELATED ARTICLES