fbpx Combining Satisfiability Procedures and Probabilistic Satisfiability | ULisboa

Combining Satisfiability Procedures and Probabilistic Satisfiability

Tipo 
Doutoramento
Candidato 
Filipe Manuel Rodrigues Casal
Título 
Combining Satisfiability Procedures and Probabilistic Satisfiability
Escola 
Instituto Superior Técnico
Data e Hora 
11/09/2018 - 14:30
Local 
Anfit. PA-1 (Piso -1 do Pavilhão de Matemática do IST)
Ramo / Especialidade 
  • Segurança de Informação
Edital 
PDF icon
Nomeação do Juri 
PDF icon