La actividad de este grupo se centra en la modelización lógico-matemática del razonamiento y en el diseño de algoritmos para la resolución de problemas basados en restricciones y en satisfactibilidad.

Proyectos actuales
  • RAzonamiento, Satisfacción y Optimización
    Ene 2016 - Dic 2018
    (Main researcher:Lluís Godo)
  • Lógica y algoritmos
    Dic 2014 - Nov 2017
    (Main researcher:Pedro Meseguer)
Últimas noticias
Abr 2016

The prestigious journal "Fuzzy Sets and Systems" has published a special issue to celebrate the 70th birthday of Prof. Francesc Esteva.


Mar 2016

Este concurso de relatos de ciencia ha sido organizado por PAR Explora CONICYT región de Coquimbo (Chile) y la Facultad de Ciencias del mar de la Universidad Católica del Norte.