L'activitat d'aquest grup es centra en la modelització lógico-matemàtica del raonament i en el disseny d'algorismes per a la resolució de problemes basats en restriccions en satisfactibilitat.
Hybrid metaheuristics in combinatorial optimization: A survey.
Blum, Christian, Jakob Puchinger, Günther R. Raidl, and Andrea Roli.
Applied Soft Computing 11, no. 6 (2011): 4135–4151.
For her thesis: "On modal expansions of t-norm based logics with rational constants", supervised by Félix Bou, Frances Esteva and Lluis Godo. The award ceremony will take place during the gala dinner, on September the 13th, 2017, of the forthcoming EUSFLAT 2017 Conference which will be held in Warsaw.