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 news

L'IIIA participa a la VI Jornada del Cercle de Directors TIC

El Circle de Directors TIC vaig reunir els Directors TICs al voltat de la presentació de les seves experiències amb...

Read more
Leading AI entrepreneurs visited the IIIA-CSIC

The Fundación Consejo España China promotes the relationship between Spain and China. Fundación Consejo España China...

Read more