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