Presentació de tesi:ELIFNAZ YANGINProof Systems and Solvers for MaxSAT and MinSAT in Boolean and Many-Valued Logics
Detalls de l'event
- 10 de setembre 2026
- 11:00
- Sala d`actes Institut de Investigació de Intelligència Artificial
Programa de Doctorat en Informàtica
Direcció:
Felipe MAÑA
Jordi COLL
Tutoria
Felipe Maña Serres