Creating and sharing knowledge for telecommunications
DEFENDED PHD THESIS

Combining Satisfiability Procedures and Probabilistic Satisfiability

Filipe Manuel Rodrigues Casal
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