Seminari del centre de Recerca INSPIRES. "SAT and MaxSAT: Algorithms and Applications"
Informació de l'esdeveniment
- Inici:
El proper dia 23 de maig tindrà lloc el següent seminari del Centre de Recerca INSPIRES:
"SAT and MaxSAT: Algorithms and Applications"
Dr. Antonio Morgado. University College Dublin
El seminari tindrà lloc a l'aula 0.03 de l'Escola Politècnica Superior del Campus de Cappont a les 12:00 hores