WAP: SAT-Based Computation of Minimal Cut Sets.

Weilin Luo Ou Wei

Published in: ISSRE (2017)

Keyphrases

mobile phone
minimal subsets
efficient computation
ai planning
bounded model checking
neural network
sat solvers
state space
mobile users
formal verification