using sat solvers to prevent causal failures in the cloud

Name: using sat solvers to prevent causal failures in the cloud
Uploaded: Streamed live on Feb 5, 2021
Description: using sat solvers to prevent causal failures in the cloud