Dissertação
Dissertação: Formula Structure in MaxSAT Solving DRAFT
Documentos da dissertação ainda não disponíveis publicamente
Orientação
ORIENTADOR
Vasco Miguel Gomes Nunes Manquinho
Departamento de Engenharia Informática (DEI)
Professor Associado
ORIENTADOR
Maria Inês Camarate de Campos Lynce de Faria
Departamento de Engenharia Informática (DEI)
Professor Associado