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