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.
El passat divendres 4 d'octubre al Parc de Recerca UAB, l'Institut d'Investigació en Intel·ligència Artificial (IIIA...
El Domingo se presentó en la Makers Faire de Barcelona 2019...
