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.

Projectes actuals
  • RAzonamiento, Satisfacción y Optimización
    gen. 2016 - des. 2018
    (Main researcher:Lluís Godo)
Darreres notícies
nov. 2017

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.


jul. 2017

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.

 


jul. 2017

At the 2017 World Congress of the International Fuzzy Systems Association (IFSA) that took place in Otsu, Japan, Prof. Francesc Esteva was selected as IFSA Fellow