| Supervisors: | João Filipe Quintas dos Santos Rasga |
| University: | Instituto Superior Técnico |
| Defense date: | 9 / 2018 |
| Keywords: | Combination of Satis ability Procedures, Nelson-Oppen Method, Probabilistic Satis ability, Phase Transition, Probabilistic Satis ability Solver, Side-channel Attacks |
| Abstract: | PDF download |