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.

Noticias

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...

Leer más
The IIIA has been recognised and funded as "Consolidated Research Group" by the Catalan Government

For the ninth time in a row, starting in 1993, the IIIA has been distinguished and funded by the "Generalitat de...

Leer más