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.

Notícies

Premi tesi doctoral SEIO

Francisco Salas Molina, que va fer la tesi doctoral supervisat per Joan Antonio Rodriguez, Francisco Martín i Pablo...

Llegeix més
80 aniversario del CSIC

Conmemoración del 80 aniversario del CSIC, debate “CIENCIA Y FUTURO. EL IMPACTO DE LA INTELIGENCIA ARTIFICIAL EN...

Llegeix més