Tema da Tese:
Using Restarts on Constraint Programming Over Finite Domains
Presidente da Prova:
Nuno Correia - DI-FCT NOVA
Comissão de Acompanhamento:
Francisco Azevedo, DI-FCT NOVA; (Orientador)
João Marques Silva, FC/UL;
Pedro Barahona, DI-FCT NOVA.
Local/ Hora:
Sala de seminários do DI - 11h00