The paper titled “Introducing Pareto Minimal Correction Subsets” won the Best Student Paper Award during the 2017 International Conference on Theory and Applications of Satisfiability Testing (SAT). The authors are the INESC-ID researchers Miguel Terra-neves, Inês Lynce and Vasco Manquinho. These latter two are also professors at the Department of Computer Engineering – Técnico.

In this research work the authors wanted “to optimise energy efficiency and to make better use of computational resources” to bridge the gap between theory and practice in the area of computational logic. “We can conclude that the existing tools, which allow to solve generic problems, can be adapted in order to obtain better results”, says professor Inês Lynce.

This award is a recognition of the quality of scientific work carried out “by Portuguese researchers regarding the development of computational logic”, highlights professor Inês Lynce. “This distinction goes beyond personal recognition. This award honours Técnico, INESC-ID and the Portuguese scientific community”, she concludes.