A novel approach for risk assessment optimization in big data platforms using smt solvers

HIGHLIGHTS

• What: To address this complexity, this research proposes a novel approach that leverages the power of Satisfiability Modulo Theories (SMT) solvers. This work provided several important contributions: 1. As a third objective, the paper showed in a quantified form the complexity of the brute force approach and introduced a parametric system for the brute force version. a. b.
• Who: Sherif M. Saif from the Department, Electronics have published the article: A novel approach for risk assessment optimization in big data platforms using SMT solvers, in the Journal: (JOURNAL)
• How: This paper presents a . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or E-mail:

  If you don't have an account, you can create one here.