Presentación de tesis:ELIFNAZ YANGINProof Systems and Solvers for MaxSAT and MinSAT in Boolean and Many-Valued Logics

Detalles del evento

• 10 septiembre 2026
• 11:00
• Sala d`actes Institut de Investigació de Intelligència Artificial