Determining optimal interventions in a network-based epidemiology model can be cast as a stochastic satisfiability (SSAT) problem: What is the total probability that any of a large number of sets of random events occurs? The SSAT construct appears in many guises in many domains, e.g., as Moore-Shannon network reliability in network science or as partition functions in statistical mechanics and field theory.