Dissertação

DISSERTAÇÃO: Algorithms for Maximum Satisfiability using GPU DRAFT

Documentos da dissertação ainda não disponíveis publicamente

Orientação

André Filipe Ribeiro dos Reis (ist163547)

AUTOR

André Filipe Ribeiro dos Reis (ist163547)

Vasco Miguel Gomes Nunes Manquinho

ORIENTADOR

Vasco Miguel Gomes Nunes Manquinho

Luís Jorge Brás Monteiro Guerra e Silva

ORIENTADOR

Luís Jorge Brás Monteiro Guerra e Silva