Go to main content
Universitat Autònoma de Barcelona
School forDoctoral Studies

Thesis presentation:ELIFNAZ YANGINProof Systems and Solvers for MaxSAT and MinSAT in Boolean and Many-Valued Logics

Share with Bluesky Share with LinkedIn Share by WhatsApp Share by e-mail

Details of the event

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

PhD Programme in Computer Science

Supervisor:
Felipe MAÑA
Jordi COLL

Tutoring
Felipe Maña Serres