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.
The Fundación Consejo España China promotes the relationship between Spain and China. Fundación Consejo España China...
The project is entitled "Playing and Singing for the Recovering Brain: Efficacy of Enriched Social-Motivational...
