The activity of this group is centered around the logic and mathematic modelization of reasoning, and the design of algorithms for solving constraint-based problems and satisfiability.

Current projects
  • RAzonamiento, Satisfacción y Optimización
    Jan 2016 - Dec 2018
    (Main researcher:Lluís Godo)
Latest News
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