Seminar za kombinatornu i diskretnu matematiku
lokacija:
PMF Matematički odsjek
vrijeme:
09.07.2019 - 17:00 - 18:30
U utorak, 9. srpnja 2019. u predavaonici 108 u 17 sati
u okviru Seminara za kombinatornu i diskretnu matematiku
održat će se predavanje:
Matej Mihelčić: " Problem ispunjivosti logičke formule (SAT) "
Pozivaju se članovi Seminara te svi zainteresirani da prisustvuju ovom predavanju.
Tajnik Seminara
Goran Igaly