Lectura Tesi Doctoral
Informació de l'esdeveniment
- Inici:
Títol: Encodings and Benchmarks for MaxSAT Solving
Doctorand/a: Maria Alba Cabiscol Teixidó
Direcció: Dr. Ramón Béjar Torres i Dr. Felip Manyà Serres
Departament: Informàtica i Enginyeria Industrial
Lloc: Centre de Cultures i Cooperació Transfronterera - Sala de Videoconferències (Campus Cappont)
Data: 22 de juny de 2012
Hora: 11.45