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