SAT-Solving in the Serverless Cloud

Published in Formal Methods in Computer Aided Design (FMCAD'21), 2021