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

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
A very competitive grant from "La Marató de TV3" granted to the IIIA

The project is entitled "Playing and Singing for the Recovering Brain: Efficacy of Enriched Social-Motivational...

Read more